From 127edbac343433b89e3574d5e61b4b23ed05b165 Mon Sep 17 00:00:00 2001 From: Yuki Okushi Date: Fri, 21 Jun 2019 00:19:11 +0900 Subject: [PATCH] Add test for issue-54189 --- src/test/ui/issues/issue-54189.rs | 6 ++++++ src/test/ui/issues/issue-54189.stderr | 9 +++++++++ 2 files changed, 15 insertions(+) create mode 100644 src/test/ui/issues/issue-54189.rs create mode 100644 src/test/ui/issues/issue-54189.stderr diff --git a/src/test/ui/issues/issue-54189.rs b/src/test/ui/issues/issue-54189.rs new file mode 100644 index 0000000000000..70aecc384effe --- /dev/null +++ b/src/test/ui/issues/issue-54189.rs @@ -0,0 +1,6 @@ +fn bug() -> impl for <'r> Fn() -> &'r () { || { &() } } +//~^ ERROR binding for associated type `Output` references lifetime `'r` + +fn main() { + let f = bug(); +} diff --git a/src/test/ui/issues/issue-54189.stderr b/src/test/ui/issues/issue-54189.stderr new file mode 100644 index 0000000000000..4787abd49d178 --- /dev/null +++ b/src/test/ui/issues/issue-54189.stderr @@ -0,0 +1,9 @@ +error[E0582]: binding for associated type `Output` references lifetime `'r`, which does not appear in the trait input types + --> $DIR/issue-54189.rs:1:35 + | +LL | fn bug() -> impl for <'r> Fn() -> &'r () { || { &() } } + | ^^^^^^ + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0582`.