HIR Typecheck - Tweak logic for `type_is_specialisable`
HIR Typecheck - Tweak logic for `type_is_specialisable`

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