summaryrefslogtreecommitdiffstats
path: root/src/test/ui/span/issue-42234-unknown-receiver-type.generic_arg.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/span/issue-42234-unknown-receiver-type.generic_arg.stderr')
-rw-r--r--src/test/ui/span/issue-42234-unknown-receiver-type.generic_arg.stderr27
1 files changed, 27 insertions, 0 deletions
diff --git a/src/test/ui/span/issue-42234-unknown-receiver-type.generic_arg.stderr b/src/test/ui/span/issue-42234-unknown-receiver-type.generic_arg.stderr
new file mode 100644
index 000000000..d93d54e87
--- /dev/null
+++ b/src/test/ui/span/issue-42234-unknown-receiver-type.generic_arg.stderr
@@ -0,0 +1,27 @@
+error[E0282]: type annotations needed
+ --> $DIR/issue-42234-unknown-receiver-type.rs:9:24
+ |
+LL | let x: Option<_> = None;
+ | ^^^^ cannot infer type of the type parameter `T` declared on the enum `Option`
+LL | x.unwrap().method_that_could_exist_on_some_type();
+ | ---------- type must be known at this point
+ |
+help: consider specifying the generic argument
+ |
+LL | let x: Option<_> = None::<T>;
+ | +++++
+
+error[E0282]: type annotations needed
+ --> $DIR/issue-42234-unknown-receiver-type.rs:15:10
+ |
+LL | .sum::<_>()
+ | ^^^ cannot infer type of the type parameter `S` declared on the associated function `sum`
+ |
+help: consider specifying the generic argument
+ |
+LL | .sum::<S>()
+ | ~~~~~
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0282`.