diff options
| author | Oli Scherer <github333195615777966@oli-obk.de> | 2024-12-12 20:17:32 +0000 |
|---|---|---|
| committer | Oli Scherer <github333195615777966@oli-obk.de> | 2024-12-18 15:46:18 +0000 |
| commit | 661b8f5694ff1d188172ecb893b71cd5da2f6072 (patch) | |
| tree | 0d2c4281d72514e16e425fb3201ed63c3836afec /tests/ui/pattern/slice-pattern-refutable.stderr | |
| parent | 45920d2f52e7d3025466b6207f78189d0c347d82 (diff) | |
| download | rust-661b8f5694ff1d188172ecb893b71cd5da2f6072.tar.gz rust-661b8f5694ff1d188172ecb893b71cd5da2f6072.zip | |
Forbid overwriting types in typeck
Diffstat (limited to 'tests/ui/pattern/slice-pattern-refutable.stderr')
| -rw-r--r-- | tests/ui/pattern/slice-pattern-refutable.stderr | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/tests/ui/pattern/slice-pattern-refutable.stderr b/tests/ui/pattern/slice-pattern-refutable.stderr index df5b58d3e9c..3d9f769d134 100644 --- a/tests/ui/pattern/slice-pattern-refutable.stderr +++ b/tests/ui/pattern/slice-pattern-refutable.stderr @@ -1,13 +1,15 @@ error[E0282]: type annotations needed - --> $DIR/slice-pattern-refutable.rs:14:9 + --> $DIR/slice-pattern-refutable.rs:14:28 | LL | let [a, b, c] = Zeroes.into() else { - | ^^^^^^^^^ + | --------- ^^^^ + | | + | type must be known at this point | -help: consider giving this pattern a type +help: try using a fully qualified path to specify the expected types | -LL | let [a, b, c]: /* Type */ = Zeroes.into() else { - | ++++++++++++ +LL | let [a, b, c] = <Zeroes as Into<T>>::into(Zeroes) else { + | ++++++++++++++++++++++++++ ~ error[E0282]: type annotations needed --> $DIR/slice-pattern-refutable.rs:21:31 |