HIR Typecheck - Tweak: Prefer single-source if it's concrete and meets bounds
HIR Typecheck - Tweak: Prefer single-source if it's concrete and meets bounds

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