Function rustc_hir_analysis::check::check::check_opaque

fn check_opaque(tcx: TyCtxt<'_>, id: ItemId)

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