fn check_generic_params_match_trait_def( trait_def: &TraitDef, trait_spec: &Loc<TraitSpec>, ) -> Result<()>