diff options
| author | Michael Goulet <michael@errs.io> | 2023-01-22 16:28:23 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-01-22 17:02:47 +0000 |
| commit | a63f5dce27cd5a315046ecebbafa8ee2fef10e12 (patch) | |
| tree | cd63dcc0d472acf906ae4db6321f58c597ca5d22 /tests/ui/impl-trait | |
| parent | 8e6809072304b147f9e98d55c87f42c0f3959679 (diff) | |
| download | rust-a63f5dce27cd5a315046ecebbafa8ee2fef10e12.tar.gz rust-a63f5dce27cd5a315046ecebbafa8ee2fef10e12.zip | |
Remove confusing 'while checking' note from opaque future type mismatches
Diffstat (limited to 'tests/ui/impl-trait')
| -rw-r--r-- | tests/ui/impl-trait/in-trait/method-signature-matches.stderr | 10 | ||||
| -rw-r--r-- | tests/ui/impl-trait/issue-102605.stderr | 5 | ||||
| -rw-r--r-- | tests/ui/impl-trait/issue-99914.stderr | 5 |
3 files changed, 0 insertions, 20 deletions
diff --git a/tests/ui/impl-trait/in-trait/method-signature-matches.stderr b/tests/ui/impl-trait/in-trait/method-signature-matches.stderr index 4dfd772222e..3ec62020e6c 100644 --- a/tests/ui/impl-trait/in-trait/method-signature-matches.stderr +++ b/tests/ui/impl-trait/in-trait/method-signature-matches.stderr @@ -24,16 +24,6 @@ LL | async fn owo(_: u8) {} | expected `()`, found `u8` | help: change the parameter type to match the trait: `()` | -note: while checking the return type of the `async fn` - --> $DIR/method-signature-matches.rs:20:25 - | -LL | async fn owo(_: u8) {} - | ^ checked the `Output` of this `async fn`, expected opaque type -note: while checking the return type of the `async fn` - --> $DIR/method-signature-matches.rs:20:25 - | -LL | async fn owo(_: u8) {} - | ^ checked the `Output` of this `async fn`, found opaque type note: type in trait --> $DIR/method-signature-matches.rs:16:21 | diff --git a/tests/ui/impl-trait/issue-102605.stderr b/tests/ui/impl-trait/issue-102605.stderr index d4aba914908..c191ff57152 100644 --- a/tests/ui/impl-trait/issue-102605.stderr +++ b/tests/ui/impl-trait/issue-102605.stderr @@ -6,11 +6,6 @@ LL | convert_result(foo()) | | | arguments to this function are incorrect | -note: while checking the return type of the `async fn` - --> $DIR/issue-102605.rs:3:19 - | -LL | async fn foo() -> Result<(), String> { - | ^^^^^^^^^^^^^^^^^^ checked the `Output` of this `async fn`, found opaque type = note: expected enum `Result<(), _>` found opaque type `impl Future<Output = Result<(), String>>` note: function defined here diff --git a/tests/ui/impl-trait/issue-99914.stderr b/tests/ui/impl-trait/issue-99914.stderr index 074d5d58d9a..db2a979cc50 100644 --- a/tests/ui/impl-trait/issue-99914.stderr +++ b/tests/ui/impl-trait/issue-99914.stderr @@ -4,11 +4,6 @@ error[E0308]: mismatched types LL | t.and_then(|t| -> _ { bar(t) }); | ^^^^^^ expected enum `Result`, found opaque type | -note: while checking the return type of the `async fn` - --> $DIR/issue-99914.rs:13:23 - | -LL | async fn bar(t: Okay) {} - | ^ checked the `Output` of this `async fn`, found opaque type = note: expected enum `Result<_, Error>` found opaque type `impl Future<Output = ()>` help: try wrapping the expression in `Ok` |