Typecheck Expressions - Avoid setting integer ivars to default-unit
Typecheck Expressions - Avoid setting integer ivars to default-unit

thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc