{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"ecx.tcx.span,"}]}
                ecx.tcx.span,
            span_bug!(
                "the static const safety checks accepted a mutable pointer they should not have accepted"