{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"//"}]}
            //
            // being able to be normalized to an inference variable.
            // This is mostly just a hack as arbitrary nested goals could still contain