{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
            // If the projection predicate (Foo::Bar == X) has X as a non-TyVid,
            obligation.predicate.kind().skip_binder()
            // we need to make it into one.