type:internal
The construction E_type_in is not really used after typing, as typing evaluates types, and local definitions are not needed anymore.
E_type_in
Changelog details: