fn compare_synthetic_generics<'tcx>( tcx: TyCtxt<'tcx>, impl_m: AssocItem, trait_m: AssocItem ) -> Result<(), ErrorGuaranteed>