diff options
| author | Michael Goulet <michael@errs.io> | 2022-09-23 00:49:25 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2022-09-24 19:26:54 +0000 |
| commit | 3d7e9a7b27c735a8eb2fe05781bb7b4331572983 (patch) | |
| tree | d9f903e8a61ad4254e1fa80d28a5f277a8932fdb /src/test/ui | |
| parent | 59c4a92bafaf19e2d9039436294aa805d748ce0f (diff) | |
| download | rust-3d7e9a7b27c735a8eb2fe05781bb7b4331572983.tar.gz rust-3d7e9a7b27c735a8eb2fe05781bb7b4331572983.zip | |
Only record extra lifetime params for async trait fn with no body
Diffstat (limited to 'src/test/ui')
| -rw-r--r-- | src/test/ui/async-await/issue-102138.rs | 46 | ||||
| -rw-r--r-- | src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.rs | 2 | ||||
| -rw-r--r-- | src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.stderr | 6 |
3 files changed, 4 insertions, 50 deletions
diff --git a/src/test/ui/async-await/issue-102138.rs b/src/test/ui/async-await/issue-102138.rs deleted file mode 100644 index 91a14523c63..00000000000 --- a/src/test/ui/async-await/issue-102138.rs +++ /dev/null @@ -1,46 +0,0 @@ -// check-pass -// edition:2021 - -#![feature(return_position_impl_trait_in_trait)] -#![allow(incomplete_features)] - -use std::future::Future; - -async fn yield_now() {} - -trait AsyncIterator { - type Item; - async fn next(&mut self) -> Option<Self::Item>; -} - -struct YieldingRange { - counter: u32, - stop: u32, -} - -impl AsyncIterator for YieldingRange { - type Item = u32; - - async fn next(&mut self) -> Option<Self::Item> { - if self.counter == self.stop { - None - } else { - let c = self.counter; - self.counter += 1; - yield_now().await; - Some(c) - } - } -} - -async fn async_main() { - let mut x = YieldingRange { counter: 0, stop: 10 }; - - while let Some(v) = x.next().await { - println!("Hi: {v}"); - } -} - -fn main() { - let _ = async_main(); -} diff --git a/src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.rs b/src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.rs index 4ec4472cc9a..c377ecea94d 100644 --- a/src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.rs +++ b/src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.rs @@ -2,5 +2,5 @@ fn main() {} trait Foo { fn fn_with_type_named_same_as_local_in_param(b: b); - //~^ ERROR expected type, found local variable `b` + //~^ ERROR cannot find type `b` in this scope [E0412] } diff --git a/src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.stderr b/src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.stderr index c53028e9b2a..109409d2731 100644 --- a/src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.stderr +++ b/src/test/ui/resolve/issue-69401-trait-fn-no-body-ty-local.stderr @@ -1,9 +1,9 @@ -error[E0573]: expected type, found local variable `b` +error[E0412]: cannot find type `b` in this scope --> $DIR/issue-69401-trait-fn-no-body-ty-local.rs:4:53 | LL | fn fn_with_type_named_same_as_local_in_param(b: b); - | ^ not a type + | ^ not found in this scope error: aborting due to previous error -For more information about this error, try `rustc --explain E0573`. +For more information about this error, try `rustc --explain E0412`. |
