diff options
author | Michael Goulet <michael@errs.io> | 2023-05-14 23:22:27 +0000 |
---|---|---|
committer | Michael Goulet <michael@errs.io> | 2023-05-14 23:22:30 +0000 |
commit | bd31d9ee9c772e10fb256ba177b738170862ac9e (patch) | |
tree | 9bd9ec466c4b00abe43dc3b5e1207e293ecba2d6 /tests | |
parent | eda41addfcf8112e69531f56ca8c478509be0135 (diff) | |
download | rust-bd31d9ee9c772e10fb256ba177b738170862ac9e.tar.gz |
Erase ReError properly
Diffstat (limited to 'tests')
-rw-r--r-- | tests/ui/borrowck/erase-error-in-mir-drop-tracking.rs | 23 | ||||
-rw-r--r-- | tests/ui/borrowck/erase-error-in-mir-drop-tracking.stderr | 24 |
2 files changed, 47 insertions, 0 deletions
diff --git a/tests/ui/borrowck/erase-error-in-mir-drop-tracking.rs b/tests/ui/borrowck/erase-error-in-mir-drop-tracking.rs new file mode 100644 index 00000000000..addbe5d658a --- /dev/null +++ b/tests/ui/borrowck/erase-error-in-mir-drop-tracking.rs @@ -0,0 +1,23 @@ +// compile-flags: -Zdrop-tracking-mir +// edition:2021 + +use std::future::Future; + +trait Client { + type Connecting<'a>: Future + Send + where + Self: 'a; + + fn connect(&'_ self) -> Self::Connecting<'a>; + //~^ ERROR use of undeclared lifetime name `'a` +} + +fn call_connect<C>(c: &'_ C) -> impl '_ + Future + Send +where + C: Client + Send + Sync, +{ + async move { c.connect().await } + //~^ ERROR `C` does not live long enough +} + +fn main() {} diff --git a/tests/ui/borrowck/erase-error-in-mir-drop-tracking.stderr b/tests/ui/borrowck/erase-error-in-mir-drop-tracking.stderr new file mode 100644 index 00000000000..53abe3dc952 --- /dev/null +++ b/tests/ui/borrowck/erase-error-in-mir-drop-tracking.stderr @@ -0,0 +1,24 @@ +error[E0261]: use of undeclared lifetime name `'a` + --> $DIR/erase-error-in-mir-drop-tracking.rs:11:46 + | +LL | fn connect(&'_ self) -> Self::Connecting<'a>; + | ^^ undeclared lifetime + | +help: consider introducing lifetime `'a` here + | +LL | fn connect<'a>(&'_ self) -> Self::Connecting<'a>; + | ++++ +help: consider introducing lifetime `'a` here + | +LL | trait Client<'a> { + | ++++ + +error: `C` does not live long enough + --> $DIR/erase-error-in-mir-drop-tracking.rs:19:5 + | +LL | async move { c.connect().await } + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ + +error: aborting due to 2 previous errors + +For more information about this error, try `rustc --explain E0261`. |