{"ast_node_type":"import","tokens":[{"end":106,"kind":"keyword","start":0,"text":"//"}]}
        // types that are not specified in the opaque type. We also use MIR bodies whose opaque types have
        // opaque types. This is needed for trivial things like `size_of`, but also for using associated
        // already been revealed, so we'd be able to at least partially observe the hidden types anyways.