{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"rustc_middle::ty::UintTy::U128"}]}
                rustc_middle::ty::UintTy::U128 => 128,
                rustc_middle::ty::UintTy::U64 => 64,
            },