HIR Typecheck - Fix some edge cases with placeholder params
HIR Typecheck - Fix some edge cases with placeholder params

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