HIR Typecheck Expr - Remove some useless error checking
HIR Typecheck Expr - Remove some useless error checking

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