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