{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
            // We don't do so for `NormalizesTo` goals as we erased the expected term and
        match self.current_goal_kind {
            // bailing with overflow here would prevent us from detecting a type-mismatch,