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