summary refs log tree commit diff
path: root/src/test/ui/impl-trait
diff options
context:
space:
mode:
authorRemy Rakic <remy.rakic@gmail.com>2019-12-02 18:54:42 +0100
committerRemy Rakic <remy.rakic@gmail.com>2019-12-06 11:50:02 +0100
commit720716f9d08094e66581ce069caaa500ee4e04e6 (patch)
tree1de4b9673081fbf30ceb33c00257fc15cd3007ef /src/test/ui/impl-trait
parent695640816a48098efaddc83d1abaa9edcc4fd109 (diff)
downloadrust-720716f9d08094e66581ce069caaa500ee4e04e6.tar.gz
rust-720716f9d08094e66581ce069caaa500ee4e04e6.zip
bless polonius output due to lacking the 'static special-casing
Diffstat (limited to 'src/test/ui/impl-trait')
-rw-r--r--src/test/ui/impl-trait/multiple-lifetimes/error-handling.polonius.stderr12
1 files changed, 12 insertions, 0 deletions
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
+