From 720716f9d08094e66581ce069caaa500ee4e04e6 Mon Sep 17 00:00:00 2001 From: Remy Rakic Date: Mon, 2 Dec 2019 18:54:42 +0100 Subject: bless polonius output due to lacking the 'static special-casing --- .../multiple-lifetimes/error-handling.polonius.stderr | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 src/test/ui/impl-trait/multiple-lifetimes/error-handling.polonius.stderr (limited to 'src/test/ui/impl-trait') diff --git a/src/test/ui/impl-trait/multiple-lifetimes/error-handling.polonius.stderr b/src/test/ui/impl-trait/multiple-lifetimes/error-handling.polonius.stderr new file mode 100644 index 00000000000..72e8fa33d7b --- /dev/null +++ b/src/test/ui/impl-trait/multiple-lifetimes/error-handling.polonius.stderr @@ -0,0 +1,12 @@ +error: lifetime may not live long enough + --> $DIR/error-handling.rs:13:56 + | +LL | fn foo<'a, 'b, 'c>(x: &'static i32, mut y: &'a i32) -> E<'b, 'c> { + | -- -- lifetime `'b` defined here ^^^^^^^^^ opaque type requires that `'a` must outlive `'b` + | | + | lifetime `'a` defined here + | + = help: consider adding the following bound: `'a: 'b` + +error: aborting due to previous error + -- cgit 1.4.1-3-g733a5