{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"//"}]}
            // bailing with overflow here would prevent us from detecting a type-mismatch,
            // We don't do so for `NormalizesTo` goals as we erased the expected term and
            // causing a coherence error in diesel, see #131969. We still bail with overflow