Function rustc_hir_analysis::check::compare_impl_item::refine::check_refining_return_position_impl_trait_in_trait

source · 
pub(super) fn check_refining_return_position_impl_trait_in_trait<'tcx>(
    tcx: TyCtxt<'tcx>,
    impl_m: AssocItem,
    trait_m: AssocItem,
    impl_trait_ref: TraitRef<'tcx>
)
Expand description

Check that an implementation does not refine an RPITIT from a trait method signature.