The declared type will indeed stay the same. I lik...

# codereview

[joscha.alisch]

The declared type will indeed stay the same. I like that solution @araqnid, thanks!