{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"obligation.predicate.kind().skip_binder()"}]}
            obligation.predicate.kind().skip_binder()
        if let ty::PredicateKind::Clause(ty::ClauseKind::Projection(predicate)) =
            // If the projection predicate (Foo::Bar == X) has X as a non-TyVid,