{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"//"}]}
    // evaluation code.
    // ambiguous goals. Instead, a probe needs to be introduced somewhere in the
    tainted: Result<(), NoSolution>,