Function rustc_hir_analysis::check::check::check_opaque_for_inheriting_lifetimes

pub(super) fn check_opaque_for_inheriting_lifetimes(
    tcx: TyCtxt<'_>,
    def_id: LocalDefId,
    span: Span
)

Checks that an opaque type does not use Self or T::Foo projections that would result in “inheriting lifetimes”.