{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"if"}]}
                if let ty::Alias(ty::Opaque, opaque_ty) = *proj_term.kind()
                // HACK: `impl Trait<Assoc = impl Trait2>` from an RPIT is "ok"...
                    && cx.tcx.parent(opaque_ty.def_id) == def_id