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