nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-10-30 14:01:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

diagnostics: add test case for already-solved issue

Browse Source 
Fixes #70082
This commit is contained in:
Michael Howell 2023-04-25 13:07:09 -07:00
parent 666fee2a5f
commit 1bfbac7903
2 changed files with 27 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
tests/ui/inference/issue-70082.rs Normal file
View File

@ -0,0 +1,10 @@
fn main() {
// this closure is fine, and should not get any error annotations
let em = |v: f64| -> f64 { v };
let x: f64 = em(1i16.into());
let y: f64 = 0.01f64 * 1i16.into();
//~^ ERROR type annotations needed
//~| HELP try using a fully qualified path
}

17
tests/ui/inference/issue-70082.stderr Normal file
View File

@ -0,0 +1,17 @@
error[E0284]: type annotations needed
--> $DIR/issue-70082.rs:7:33
|
LL | let y: f64 = 0.01f64 * 1i16.into();
| - ^^^^
| |
| type must be known at this point
|
= note: cannot satisfy `<f64 as Mul<_>>::Output == f64`
help: try using a fully qualified path to specify the expected types
|
LL | let y: f64 = 0.01f64 * <i16 as Into<T>>::into(1i16);
| +++++++++++++++++++++++ ~
error: aborting due to previous error
For more information about this error, try `rustc --explain E0284`.