summaryrefslogtreecommitdiffstats
path: root/src/test/ui/async-await/feature-self-return-type.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/async-await/feature-self-return-type.rs')
-rw-r--r--src/test/ui/async-await/feature-self-return-type.rs28
1 files changed, 28 insertions, 0 deletions
diff --git a/src/test/ui/async-await/feature-self-return-type.rs b/src/test/ui/async-await/feature-self-return-type.rs
new file mode 100644
index 000000000..41f887430
--- /dev/null
+++ b/src/test/ui/async-await/feature-self-return-type.rs
@@ -0,0 +1,28 @@
+// edition:2018
+#![feature(impl_trait_projections)]
+
+// This test checks that we emit the correct borrowck error when `Self` is used as a return type.
+// See #61949 for context.
+
+pub struct Foo<'a> {
+ pub bar: &'a i32,
+}
+
+impl<'a> Foo<'a> {
+ pub async fn new(_bar: &'a i32) -> Self {
+ Foo {
+ bar: &22
+ }
+ }
+}
+
+pub async fn foo() {
+ let x = {
+ let bar = 22;
+ Foo::new(&bar).await
+ //~^ ERROR `bar` does not live long enough
+ };
+ drop(x);
+}
+
+fn main() { }