types: avoid automatically inferring lean result type when assigning to explicitly typed variable

types: avoid automatically inferring lean result type when assigning to explicitly typed variable #2443