Function 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”.