82524fde26
Note that it's quite hard to emit a particular diagnostic as type check happens later, after the conversion ^KT-56583