{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"NullOp::UbChecks"}]}
            NullOp::UbChecks | NullOp::ContractChecks => tcx.types.bool,
            NullOp::SizeOf | NullOp::AlignOf | NullOp::OffsetOf(_) => tcx.types.usize,
        }