Function rustc_hir_analysis::check::check::check_opaque

fn check_opaque(tcx: TyCtxt<'_>, def_id: LocalDefId)

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