diff options
-rw-r--r-- | crates/ra_hir/src/ty.rs | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/crates/ra_hir/src/ty.rs b/crates/ra_hir/src/ty.rs index 81cff8c47..7a5485698 100644 --- a/crates/ra_hir/src/ty.rs +++ b/crates/ra_hir/src/ty.rs | |||
@@ -1590,11 +1590,7 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> { | |||
1590 | } | 1590 | } |
1591 | UnaryOp::Not => { | 1591 | UnaryOp::Not => { |
1592 | match inner_ty { | 1592 | match inner_ty { |
1593 | Ty::Bool | 1593 | Ty::Bool | Ty::Int(_) | Ty::Infer(InferTy::IntVar(..)) => inner_ty, |
1594 | | Ty::Int(primitive::UncertainIntTy::Unknown) | ||
1595 | | Ty::Int(primitive::UncertainIntTy::Signed(..)) | ||
1596 | | Ty::Int(primitive::UncertainIntTy::Unsigned(..)) | ||
1597 | | Ty::Infer(InferTy::IntVar(..)) => inner_ty, | ||
1598 | // TODO: resolve ops::Not trait for inner_ty | 1594 | // TODO: resolve ops::Not trait for inner_ty |
1599 | _ => Ty::Unknown, | 1595 | _ => Ty::Unknown, |
1600 | } | 1596 | } |