{"ast_node_type":"variable","tokens":[{"end":29,"kind":"keyword","start":0,"text":"&&"}]}
            && let Some(ty) =
            obligation.predicate.kind().skip_binder()
                self.shallow_resolve(tpred.self_ty()).ty_vid().map(|t| self.root_var(t))