{"ast_node_type":"struct","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
            // Then construct a new obligation with Self = () added
            // to the ParamEnv, and see if it holds.