{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
        // This is only reachable with -Zunleash-the-miri-inside-of-you.
    ) -> InterpResult<'tcx> {
        throw_unsup_format!("exposing pointers is not possible at compile-time")