diff options
author | Michael Howell <michael@notriddle.com> | 2023-04-25 13:07:09 -0700 |
---|---|---|
committer | Michael Howell <michael@notriddle.com> | 2023-04-25 13:07:09 -0700 |
commit | 1bfbac790390db042708e1c483c4d225d412a53e (patch) | |
tree | 52efe17f99f5959d8b88c9a1f2961b937776edaa /tests | |
parent | 666fee2a5fb3a4ec75953b9e6622662ae10b9ae5 (diff) | |
download | rust-1bfbac790390db042708e1c483c4d225d412a53e.tar.gz |
diagnostics: add test case for already-solved issue
Fixes #70082
Diffstat (limited to 'tests')
-rw-r--r-- | tests/ui/inference/issue-70082.rs | 10 | ||||
-rw-r--r-- | tests/ui/inference/issue-70082.stderr | 17 |
2 files changed, 27 insertions, 0 deletions
diff --git a/tests/ui/inference/issue-70082.rs b/tests/ui/inference/issue-70082.rs new file mode 100644 index 00000000000..d54d0a1a48a --- /dev/null +++ b/tests/ui/inference/issue-70082.rs @@ -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 +} diff --git a/tests/ui/inference/issue-70082.stderr b/tests/ui/inference/issue-70082.stderr new file mode 100644 index 00000000000..47229a5fee1 --- /dev/null +++ b/tests/ui/inference/issue-70082.stderr @@ -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`. |