@@ -1945,16 +1945,12 @@ fn detect_extreme_expr<'a, 'tcx>(cx: &LateContext<'a, 'tcx>, expr: &'tcx Expr<'_
1945
1945
1946
1946
let which = match ( & ty. kind , cv) {
1947
1947
( & ty:: Bool , Constant :: Bool ( false ) ) | ( & ty:: Uint ( _) , Constant :: Int ( 0 ) ) => Minimum ,
1948
- ( & ty:: Int ( ity) , Constant :: Int ( i) )
1949
- if i == unsext ( cx. tcx , i128:: MIN >> ( 128 - int_bits ( cx. tcx , ity) ) , ity) =>
1950
- {
1948
+ ( & ty:: Int ( ity) , Constant :: Int ( i) ) if i == unsext ( cx. tcx , i128:: MIN >> ( 128 - int_bits ( cx. tcx , ity) ) , ity) => {
1951
1949
Minimum
1952
1950
} ,
1953
1951
1954
1952
( & ty:: Bool , Constant :: Bool ( true ) ) => Maximum ,
1955
- ( & ty:: Int ( ity) , Constant :: Int ( i) )
1956
- if i == unsext ( cx. tcx , i128:: MAX >> ( 128 - int_bits ( cx. tcx , ity) ) , ity) =>
1957
- {
1953
+ ( & ty:: Int ( ity) , Constant :: Int ( i) ) if i == unsext ( cx. tcx , i128:: MAX >> ( 128 - int_bits ( cx. tcx , ity) ) , ity) => {
1958
1954
Maximum
1959
1955
} ,
1960
1956
( & ty:: Uint ( uty) , Constant :: Int ( i) ) if clip ( cx. tcx , u128:: MAX , uty) == i => Maximum ,
@@ -2083,50 +2079,20 @@ fn numeric_cast_precast_bounds<'a>(cx: &LateContext<'_, '_>, expr: &'a Expr<'_>)
2083
2079
}
2084
2080
match pre_cast_ty. kind {
2085
2081
ty:: Int ( int_ty) => Some ( match int_ty {
2086
- IntTy :: I8 => (
2087
- FullInt :: S ( i128:: from ( i8:: MIN ) ) ,
2088
- FullInt :: S ( i128:: from ( i8:: MAX ) ) ,
2089
- ) ,
2090
- IntTy :: I16 => (
2091
- FullInt :: S ( i128:: from ( i16:: MIN ) ) ,
2092
- FullInt :: S ( i128:: from ( i16:: MAX ) ) ,
2093
- ) ,
2094
- IntTy :: I32 => (
2095
- FullInt :: S ( i128:: from ( i32:: MIN ) ) ,
2096
- FullInt :: S ( i128:: from ( i32:: MAX ) ) ,
2097
- ) ,
2098
- IntTy :: I64 => (
2099
- FullInt :: S ( i128:: from ( i64:: MIN ) ) ,
2100
- FullInt :: S ( i128:: from ( i64:: MAX ) ) ,
2101
- ) ,
2082
+ IntTy :: I8 => ( FullInt :: S ( i128:: from ( i8:: MIN ) ) , FullInt :: S ( i128:: from ( i8:: MAX ) ) ) ,
2083
+ IntTy :: I16 => ( FullInt :: S ( i128:: from ( i16:: MIN ) ) , FullInt :: S ( i128:: from ( i16:: MAX ) ) ) ,
2084
+ IntTy :: I32 => ( FullInt :: S ( i128:: from ( i32:: MIN ) ) , FullInt :: S ( i128:: from ( i32:: MAX ) ) ) ,
2085
+ IntTy :: I64 => ( FullInt :: S ( i128:: from ( i64:: MIN ) ) , FullInt :: S ( i128:: from ( i64:: MAX ) ) ) ,
2102
2086
IntTy :: I128 => ( FullInt :: S ( i128:: MIN ) , FullInt :: S ( i128:: MAX ) ) ,
2103
- IntTy :: Isize => (
2104
- FullInt :: S ( isize:: MIN as i128 ) ,
2105
- FullInt :: S ( isize:: MAX as i128 ) ,
2106
- ) ,
2087
+ IntTy :: Isize => ( FullInt :: S ( isize:: MIN as i128 ) , FullInt :: S ( isize:: MAX as i128 ) ) ,
2107
2088
} ) ,
2108
2089
ty:: Uint ( uint_ty) => Some ( match uint_ty {
2109
- UintTy :: U8 => (
2110
- FullInt :: U ( u128:: from ( u8:: MIN ) ) ,
2111
- FullInt :: U ( u128:: from ( u8:: MAX ) ) ,
2112
- ) ,
2113
- UintTy :: U16 => (
2114
- FullInt :: U ( u128:: from ( u16:: MIN ) ) ,
2115
- FullInt :: U ( u128:: from ( u16:: MAX ) ) ,
2116
- ) ,
2117
- UintTy :: U32 => (
2118
- FullInt :: U ( u128:: from ( u32:: MIN ) ) ,
2119
- FullInt :: U ( u128:: from ( u32:: MAX ) ) ,
2120
- ) ,
2121
- UintTy :: U64 => (
2122
- FullInt :: U ( u128:: from ( u64:: MIN ) ) ,
2123
- FullInt :: U ( u128:: from ( u64:: MAX ) ) ,
2124
- ) ,
2090
+ UintTy :: U8 => ( FullInt :: U ( u128:: from ( u8:: MIN ) ) , FullInt :: U ( u128:: from ( u8:: MAX ) ) ) ,
2091
+ UintTy :: U16 => ( FullInt :: U ( u128:: from ( u16:: MIN ) ) , FullInt :: U ( u128:: from ( u16:: MAX ) ) ) ,
2092
+ UintTy :: U32 => ( FullInt :: U ( u128:: from ( u32:: MIN ) ) , FullInt :: U ( u128:: from ( u32:: MAX ) ) ) ,
2093
+ UintTy :: U64 => ( FullInt :: U ( u128:: from ( u64:: MIN ) ) , FullInt :: U ( u128:: from ( u64:: MAX ) ) ) ,
2125
2094
UintTy :: U128 => ( FullInt :: U ( u128:: MIN ) , FullInt :: U ( u128:: MAX ) ) ,
2126
- UintTy :: Usize => (
2127
- FullInt :: U ( usize:: MIN as u128 ) ,
2128
- FullInt :: U ( usize:: MAX as u128 ) ,
2129
- ) ,
2095
+ UintTy :: Usize => ( FullInt :: U ( usize:: MIN as u128 ) , FullInt :: U ( usize:: MAX as u128 ) ) ,
2130
2096
} ) ,
2131
2097
_ => None ,
2132
2098
}
0 commit comments