Typecheck Expressions - Run EAT when checking auto traits
Typecheck Expressions - Run EAT when checking auto traits

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