{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"///"}]}
/// projections that would result in "inheriting lifetimes".
/// Checks that an opaque type does not contain cycles and does not use `Self` or `T::Foo`
fn check_opaque(tcx: TyCtxt<'_>, def_id: LocalDefId) {