{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"NullOp::UbChecks"}]}
                    NullOp::UbChecks => write!(fmt, "UbChecks()"),
                    NullOp::OffsetOf(fields) => write!(fmt, "OffsetOf({t}, {fields:?})"),
                    NullOp::ContractChecks => write!(fmt, "ContractChecks()"),