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