diff options
| author | bors <bors@rust-lang.org> | 2021-11-26 09:55:06 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2021-11-26 09:55:06 +0000 |
| commit | 6b997b657657f7c63cf2e377dfc60d38da5bfe1d (patch) | |
| tree | 351f8623622852c40ea83c4da414741c30d6dbb1 | |
| parent | 5fc61a24c4db217d7a9d3954134a6e544a0a6650 (diff) | |
| parent | 9274ec56911e4136278f7fb186fc22ec3f697ae3 (diff) | |
| download | rust-6b997b657657f7c63cf2e377dfc60d38da5bfe1d.tar.gz rust-6b997b657657f7c63cf2e377dfc60d38da5bfe1d.zip | |
Auto merge of #91205 - Aaron1011:visit_param_env, r=lcnr
Visit `param_env` field in Obligation's `TypeFoldable` impl This oversight appears to have gone unnoticed for a long time without causing issues, but it should still be fixed.
| -rw-r--r-- | tests/ui/crashes/ice-6252.stderr | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/tests/ui/crashes/ice-6252.stderr b/tests/ui/crashes/ice-6252.stderr index c8239897f3a..abca7af30a0 100644 --- a/tests/ui/crashes/ice-6252.stderr +++ b/tests/ui/crashes/ice-6252.stderr @@ -21,16 +21,15 @@ LL | impl<N, M> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {} | | | help: you might be missing a type parameter: `, VAL` -error[E0046]: not all trait items implemented, missing: `VAL` - --> $DIR/ice-6252.rs:10:1 +error[E0283]: type annotations needed + --> $DIR/ice-6252.rs:10:12 | -LL | const VAL: T; - | ------------- `VAL` from trait -... LL | impl<N, M> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {} - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `VAL` in implementation + | ^^^^^^^^^^^^^^ cannot infer type for struct `Multiply<N, M>` + | + = note: cannot satisfy `Multiply<N, M>: TypeVal<usize>` error: aborting due to 3 previous errors -Some errors have detailed explanations: E0046, E0412. -For more information about an error, try `rustc --explain E0046`. +Some errors have detailed explanations: E0283, E0412. +For more information about an error, try `rustc --explain E0283`. |