HIR Typecheck Validate - Structure for cast checking
HIR Typecheck Validate - Structure for cast checking

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