From 65a456df430260cc4c0a8ef189b764c34153d435 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Wed, 17 Jun 2015 14:11:58 -0400 Subject: [PATCH] Now that I made the warning smarter, these tests no longer require modification --- src/test/compile-fail/object-lifetime-default-elision.rs | 1 - src/test/compile-fail/object-lifetime-default-mybox.rs | 5 ++++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/test/compile-fail/object-lifetime-default-elision.rs b/src/test/compile-fail/object-lifetime-default-elision.rs index 371acd24da06..75ee0bdc9c7a 100644 --- a/src/test/compile-fail/object-lifetime-default-elision.rs +++ b/src/test/compile-fail/object-lifetime-default-elision.rs @@ -41,7 +41,6 @@ fn load0<'a>(ss: &'a Box) -> Box { deref(ss) //~^ ERROR cannot infer - //~| WARNING E0398 } fn load1(ss: &SomeTrait) -> &SomeTrait { diff --git a/src/test/compile-fail/object-lifetime-default-mybox.rs b/src/test/compile-fail/object-lifetime-default-mybox.rs index c8fe197b92c0..b5c4e0c767b0 100644 --- a/src/test/compile-fail/object-lifetime-default-mybox.rs +++ b/src/test/compile-fail/object-lifetime-default-mybox.rs @@ -28,7 +28,6 @@ fn deref(ss: &T) -> T { fn load0(ss: &MyBox) -> MyBox { deref(ss) //~ ERROR cannot infer - //~^ WARNING E0398 } fn load1<'a,'b>(a: &'a MyBox, @@ -40,5 +39,9 @@ fn load1<'a,'b>(a: &'a MyBox, //~| ERROR mismatched types } +fn load2<'a>(ss: &MyBox) -> MyBox { + load0(ss) //~ WARNING E0398 +} + fn main() { }