aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--crates/ra_hir/src/ty.rs6
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 }