{"ast_node_type":"function","tokens":[{"end":54,"kind":"keyword","start":0,"text":"fn"}]}
fn check_opaque(tcx: TyCtxt<'_>, def_id: LocalDefId) {
/// projections that would result in "inheriting lifetimes".
    let hir::OpaqueTy { origin, .. } = *tcx.hir_expect_opaque_ty(def_id);