about summary refs log tree commit diff
diff options
context:
space:
mode:
authorPhilipp Hansch <dev@phansch.net>2019-01-03 21:54:57 +0100
committerPhilipp Hansch <dev@phansch.net>2019-01-03 21:54:57 +0100
commitd1fffe07c5cde9ff8c830f27c26fefe8aec363d4 (patch)
treefcd0fd364e14f12015f2decf0cd33b11971b2520
parent5b8b01e8dc9d5ba7209256061c8ace789f95e432 (diff)
downloadrust-d1fffe07c5cde9ff8c830f27c26fefe8aec363d4.tar.gz
rust-d1fffe07c5cde9ff8c830f27c26fefe8aec363d4.zip
rustup: https://github.com/rust-lang/rust/pull/55517
-rw-r--r--clippy_lints/src/question_mark.rs2
-rw-r--r--clippy_lints/src/utils/mod.rs4
2 files changed, 3 insertions, 3 deletions
diff --git a/clippy_lints/src/question_mark.rs b/clippy_lints/src/question_mark.rs
index 63a3a831304..c1a76eed928 100644
--- a/clippy_lints/src/question_mark.rs
+++ b/clippy_lints/src/question_mark.rs
@@ -113,7 +113,7 @@ impl Pass {
     fn moves_by_default(cx: &LateContext<'_, '_>, expression: &Expr) -> bool {
         let expr_ty = cx.tables.expr_ty(expression);
 
-        expr_ty.moves_by_default(cx.tcx, cx.param_env, expression.span)
+        !expr_ty.is_copy_modulo_regions(cx.tcx, cx.param_env, expression.span)
     }
 
     fn is_option(cx: &LateContext<'_, '_>, expression: &Expr) -> bool {
diff --git a/clippy_lints/src/utils/mod.rs b/clippy_lints/src/utils/mod.rs
index 647bae1ae6b..99d27d6fc19 100644
--- a/clippy_lints/src/utils/mod.rs
+++ b/clippy_lints/src/utils/mod.rs
@@ -271,7 +271,7 @@ pub fn implements_trait<'a, 'tcx>(
     );
     cx.tcx
         .infer_ctxt()
-        .enter(|infcx| infcx.predicate_must_hold(&obligation))
+        .enter(|infcx| infcx.predicate_must_hold_modulo_regions(&obligation))
 }
 
 /// Check whether this type implements Drop.
@@ -884,7 +884,7 @@ pub fn type_is_unsafe_function<'a, 'tcx>(cx: &LateContext<'a, 'tcx>, ty: Ty<'tcx
 }
 
 pub fn is_copy<'a, 'tcx>(cx: &LateContext<'a, 'tcx>, ty: Ty<'tcx>) -> bool {
-    !ty.moves_by_default(cx.tcx.global_tcx(), cx.param_env, DUMMY_SP)
+    ty.is_copy_modulo_regions(cx.tcx.global_tcx(), cx.param_env, DUMMY_SP)
 }
 
 /// Return whether a pattern is refutable.