{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"//"}]}
            // it's enough to report an overflow error for that, we don't also have to
            // We don't care about overflow. If proving the trait goal overflowed, then
            // overflow during normalization.