{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"//"}]}
        // double error messages being reported.)
        // used to register `obligation` explicitly, but that resulted in
        //