diff options
| author | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-03-09 09:11:58 +0900 |
|---|---|---|
| committer | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-03-09 09:11:58 +0900 |
| commit | fc8be08a8e786514819ffff7c4239879afb8ea3c (patch) | |
| tree | 33261723f002bc8b030ee9eb10b79be4eb9956ff /src | |
| parent | af0c44cb2908989159322a4f2bf6ce046a7be5fc (diff) | |
| download | rust-fc8be08a8e786514819ffff7c4239879afb8ea3c.tar.gz rust-fc8be08a8e786514819ffff7c4239879afb8ea3c.zip | |
Add test for issue-57200
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/ui/impl-trait/issue-57200.rs | 14 | ||||
| -rw-r--r-- | src/test/ui/impl-trait/issue-57200.stderr | 8 |
2 files changed, 22 insertions, 0 deletions
diff --git a/src/test/ui/impl-trait/issue-57200.rs b/src/test/ui/impl-trait/issue-57200.rs new file mode 100644 index 00000000000..9a7290b3b75 --- /dev/null +++ b/src/test/ui/impl-trait/issue-57200.rs @@ -0,0 +1,14 @@ +// Regression test for #57200 + +#![feature(impl_trait_in_bindings)] +#![allow(incomplete_features)] + +fn bug<'a, 'b, T>() +where + 'a: 'b, +{ + let f: impl Fn(&'a T) -> &'b T = |x| x; + //~^ ERROR: lifetimes in impl Trait types in bindings are not currently supported +} + +fn main() {} diff --git a/src/test/ui/impl-trait/issue-57200.stderr b/src/test/ui/impl-trait/issue-57200.stderr new file mode 100644 index 00000000000..42fd0045315 --- /dev/null +++ b/src/test/ui/impl-trait/issue-57200.stderr @@ -0,0 +1,8 @@ +error: lifetimes in impl Trait types in bindings are not currently supported + --> $DIR/issue-57200.rs:10:12 + | +LL | let f: impl Fn(&'a T) -> &'b T = |x| x; + | ^^^^^^^^^^^^^^^^^^^^^^^ + +error: aborting due to previous error + |