diff options
| author | Aaron Hill <aa1ronham@gmail.com> | 2021-11-24 17:20:52 -0600 |
|---|---|---|
| committer | Aaron Hill <aa1ronham@gmail.com> | 2021-11-25 15:33:37 -0600 |
| commit | 9274ec56911e4136278f7fb186fc22ec3f697ae3 (patch) | |
| tree | 876471d6fa407ddc05ce47bc981688ede717e5f4 | |
| parent | 8c1c763c2d5897c66f52bd5e7c16f48ae66c894c (diff) | |
| download | rust-9274ec56911e4136278f7fb186fc22ec3f697ae3.tar.gz rust-9274ec56911e4136278f7fb186fc22ec3f697ae3.zip | |
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`. |