(Minor) commenting on procedure for generic trait checking
(Minor) commenting on procedure for generic trait checking

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