[schrodingerzhu]

"if the IDE autocompletes the type declaration for me somehow".

Then you will need type inference to some extend. :D