HIR - (comment) Need to record source trait for type bounds
HIR - (comment) Need to record source trait for type bounds

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