{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"UintTy::U8"}]}
            UintTy::U8 => u8::MAX as u128,
            UintTy::Usize => self.tcx.data_layout.pointer_size().unsigned_int_max(),
            UintTy::U16 => u16::MAX as u128,