{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"DanglingPtrNoProvenance"}]}
            DanglingPtrNoProvenance { ptr_kind: PointerKind::Box, .. } => {
            NullPtr { ptr_kind: PointerKind::Ref(_) } => const_eval_validation_null_ref,
                const_eval_validation_dangling_box_no_provenance