summaryrefslogtreecommitdiffstats
path: root/tests/ui/impl-trait/hidden-type-is-opaque-2.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/impl-trait/hidden-type-is-opaque-2.stderr')
-rw-r--r--tests/ui/impl-trait/hidden-type-is-opaque-2.stderr24
1 files changed, 20 insertions, 4 deletions
diff --git a/tests/ui/impl-trait/hidden-type-is-opaque-2.stderr b/tests/ui/impl-trait/hidden-type-is-opaque-2.stderr
index 957052feb..39bf22142 100644
--- a/tests/ui/impl-trait/hidden-type-is-opaque-2.stderr
+++ b/tests/ui/impl-trait/hidden-type-is-opaque-2.stderr
@@ -1,14 +1,30 @@
error[E0282]: type annotations needed
- --> $DIR/hidden-type-is-opaque-2.rs:9:9
+ --> $DIR/hidden-type-is-opaque-2.rs:8:17
|
+LL | Thunk::new(|mut cont| {
+ | ^^^^^^^^
+LL |
LL | cont.reify_as();
- | ^^^^ cannot infer type
+ | ---- type must be known at this point
+ |
+help: consider giving this closure parameter an explicit type
+ |
+LL | Thunk::new(|mut cont: /* Type */| {
+ | ++++++++++++
error[E0282]: type annotations needed
- --> $DIR/hidden-type-is-opaque-2.rs:18:9
+ --> $DIR/hidden-type-is-opaque-2.rs:18:17
|
+LL | Thunk::new(|mut cont| {
+ | ^^^^^^^^
+LL |
LL | cont.reify_as();
- | ^^^^ cannot infer type
+ | ---- type must be known at this point
+ |
+help: consider giving this closure parameter an explicit type
+ |
+LL | Thunk::new(|mut cont: /* Type */| {
+ | ++++++++++++
error: aborting due to 2 previous errors