about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/issues
diff options
context:
space:
mode:
authorlcnr <rust@lcnr.de>2022-02-14 13:25:26 +0100
committerlcnr <rust@lcnr.de>2022-06-02 10:19:15 +0200
commit3fe346e7a3776d01541fc973c4a7bb686ef3b1a8 (patch)
treee890126d4103bf4c098a2803e0e4982d79650ed9 /src/test/ui/impl-trait/issues
parent721fc7320850596a20ad417397f5fc8820cd87da (diff)
downloadrust-3fe346e7a3776d01541fc973c4a7bb686ef3b1a8.tar.gz
rust-3fe346e7a3776d01541fc973c4a7bb686ef3b1a8.zip
add new `emit_inference_failure_err`
Diffstat (limited to 'src/test/ui/impl-trait/issues')
-rw-r--r--src/test/ui/impl-trait/issues/issue-84073.stderr7
-rw-r--r--src/test/ui/impl-trait/issues/issue-86719.stderr7
-rw-r--r--src/test/ui/impl-trait/issues/issue-92305.stderr7
3 files changed, 18 insertions, 3 deletions
diff --git a/src/test/ui/impl-trait/issues/issue-84073.stderr b/src/test/ui/impl-trait/issues/issue-84073.stderr
index 36047d23fed..3c39aa6ce5b 100644
--- a/src/test/ui/impl-trait/issues/issue-84073.stderr
+++ b/src/test/ui/impl-trait/issues/issue-84073.stderr
@@ -2,7 +2,12 @@ error[E0282]: type annotations needed for `RaceBuilder<T, Never<T>>`
   --> $DIR/issue-84073.rs:32:16
    |
 LL |     Race::new(|race| race.when());
-   |                ^^^^ consider giving this closure parameter the explicit type `RaceBuilder<T, Never<T>>`, where the type parameter `T` is specified
+   |                ^^^^
+   |
+help: consider giving this closure parameter an explicit type, where the type for type parameter `T` is specified
+   |
+LL |     Race::new(|race: RaceBuilder<T, Never<T>>| race.when());
+   |                    ++++++++++++++++++++++++++
 
 error: aborting due to previous error
 
diff --git a/src/test/ui/impl-trait/issues/issue-86719.stderr b/src/test/ui/impl-trait/issues/issue-86719.stderr
index e2abf71c110..09047cdcbe1 100644
--- a/src/test/ui/impl-trait/issues/issue-86719.stderr
+++ b/src/test/ui/impl-trait/issues/issue-86719.stderr
@@ -16,7 +16,12 @@ error[E0282]: type annotations needed
   --> $DIR/issue-86719.rs:9:10
    |
 LL |         |_| true
-   |          ^ consider giving this closure parameter a type
+   |          ^
+   |
+help: consider giving this closure parameter an explicit type
+   |
+LL |         |_: _| true
+   |           +++
 
 error: aborting due to 3 previous errors
 
diff --git a/src/test/ui/impl-trait/issues/issue-92305.stderr b/src/test/ui/impl-trait/issues/issue-92305.stderr
index c4fc49225e9..e8575b76b09 100644
--- a/src/test/ui/impl-trait/issues/issue-92305.stderr
+++ b/src/test/ui/impl-trait/issues/issue-92305.stderr
@@ -18,7 +18,12 @@ error[E0282]: type annotations needed
   --> $DIR/issue-92305.rs:7:5
    |
 LL |     iter::empty()
-   |     ^^^^^^^^^^^ cannot infer type for type parameter `T` declared on the function `empty`
+   |     ^^^^^^^^^^^ cannot infer type of the type parameter `T` declared on the function `empty`
+   |
+help: consider specifying the generic argument
+   |
+LL |     iter::empty::<T>()
+   |                +++++
 
 error[E0282]: type annotations needed
   --> $DIR/issue-92305.rs:10:35