From 0e1dd65c14743b5b58c546ccaadc209f390af7df Mon Sep 17 00:00:00 2001
From: HMPerson1 <hmperson1@gmail.com>
Date: Wed, 2 Oct 2019 17:23:54 -0400
Subject: [PATCH] Allow casts from the result of `abs` to unsigned

---
 clippy_lints/src/types.rs | 11 +++++++++++
 tests/ui/cast.rs          |  5 +++++
 2 files changed, 16 insertions(+)

diff --git a/clippy_lints/src/types.rs b/clippy_lints/src/types.rs
index e976b0557..133001e35 100644
--- a/clippy_lints/src/types.rs
+++ b/clippy_lints/src/types.rs
@@ -986,6 +986,17 @@ fn check_loss_of_sign(cx: &LateContext<'_, '_>, expr: &Expr, op: &Expr, cast_fro
         }
     }
 
+    // don't lint for the result of `abs`
+    // `abs` is an inherent impl of `i{N}`, so a method call with ident `abs` will always
+    // resolve to that spesific method
+    if_chain! {
+        if let ExprKind::MethodCall(ref path, _, _) = op.kind;
+        if path.ident.name.as_str() == "abs";
+        then {
+            return
+        }
+    }
+
     span_lint(
         cx,
         CAST_SIGN_LOSS,
diff --git a/tests/ui/cast.rs b/tests/ui/cast.rs
index 797050719..80329a52c 100644
--- a/tests/ui/cast.rs
+++ b/tests/ui/cast.rs
@@ -42,4 +42,9 @@ fn main() {
     i32::max_value() as u32;
     i64::max_value() as u64;
     i128::max_value() as u128;
+    (-1i8).abs() as u8;
+    (-1i16).abs() as u16;
+    (-1i32).abs() as u32;
+    (-1i64).abs() as u64;
+    (-1isize).abs() as usize;
 }