{"ast_node_type":"other","tokens":[{"end":105,"kind":"keyword","start":0,"text":"//"}]}
        // already been revealed, so we'd be able to at least partially observe the hidden types anyways.
        // types that are not specified in the opaque type. We also use MIR bodies whose opaque types have
        debug_assert_matches!(typing_env.typing_mode, ty::TypingMode::PostAnalysis);