{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"debug_assert_matches!(typing_env.typing_mode,"}]}
        debug_assert_matches!(typing_env.typing_mode, ty::TypingMode::PostAnalysis);
        // already been revealed, so we'd be able to at least partially observe the hidden types anyways.
        InterpCx {