summaryrefslogtreecommitdiffstats
path: root/tests/ui/impl-trait/issue-99073.stderr
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-05-30 03:59:35 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-05-30 03:59:35 +0000
commitd1b2d29528b7794b41e66fc2136e395a02f8529b (patch)
treea4a17504b260206dec3cf55b2dca82929a348ac2 /tests/ui/impl-trait/issue-99073.stderr
parentReleasing progress-linux version 1.72.1+dfsg1-1~progress7.99u1. (diff)
downloadrustc-d1b2d29528b7794b41e66fc2136e395a02f8529b.tar.xz
rustc-d1b2d29528b7794b41e66fc2136e395a02f8529b.zip
Merging upstream version 1.73.0+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'tests/ui/impl-trait/issue-99073.stderr')
-rw-r--r--tests/ui/impl-trait/issue-99073.stderr21
1 files changed, 15 insertions, 6 deletions
diff --git a/tests/ui/impl-trait/issue-99073.stderr b/tests/ui/impl-trait/issue-99073.stderr
index 546367953..a8400080e 100644
--- a/tests/ui/impl-trait/issue-99073.stderr
+++ b/tests/ui/impl-trait/issue-99073.stderr
@@ -1,14 +1,23 @@
-error: concrete type differs from previous defining opaque type use
+error[E0792]: expected generic type parameter, found `&F`
--> $DIR/issue-99073.rs:6:11
|
+LL | fn fix<F: Fn(G), G: Fn()>(f: F) -> impl Fn() {
+ | - this generic parameter must be used with a generic type parameter
+LL | move || f(fix(&f))
+ | ^^^^^^^^^^
+
+error: concrete type differs from previous defining opaque type use
+ --> $DIR/issue-99073.rs:6:13
+ |
LL | move || f(fix(&f))
- | ^^^^^^^^^^ expected `[closure@$DIR/issue-99073.rs:6:3: 6:10]`, got `G`
+ | ^^^^^^^ expected `[closure@$DIR/issue-99073.rs:6:3: 6:10]`, got `G`
|
note: previous use here
- --> $DIR/issue-99073.rs:6:3
+ --> $DIR/issue-99073.rs:5:36
|
-LL | move || f(fix(&f))
- | ^^^^^^^^^^^^^^^^^^
+LL | fn fix<F: Fn(G), G: Fn()>(f: F) -> impl Fn() {
+ | ^^^^^^^^^
-error: aborting due to previous error
+error: aborting due to 2 previous errors
+For more information about this error, try `rustc --explain E0792`.