Typecheck Static - Handle resolution with pre-existing placeholders
Typecheck Static - Handle resolution with pre-existing placeholders

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