Typecheck Expressions - Incremental change to auto trait handling
Typecheck Expressions - Incremental change to auto trait handling

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