{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
    // existing code, I'm not particularly inclined to do the same hack as above
    // FIXME: This has the same issue as #108544, but since this isn't breaking
    // where we process wf obligations manually. This can be fixed in a forward-