{"ast_node_type":"other","tokens":[{"end":107,"kind":"keyword","start":0,"text":"//"}]}
            // Instead of just reporting the `InterpError` via the usual machinery, we give a more targeted
            .report_err()
            // error about the validation failure.