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