rust/tests/ui/rfcs/rfc-2632-const-trait-impl/specializing-constness-2.st...

23 lines
721 B
Plaintext

error[E0119]: conflicting implementations of trait `A`
--> $DIR/specializing-constness-2.rs:20:1
|
LL | impl<T: Default> A for T {
| ------------------------ first implementation here
...
LL | impl<T: Default + ~const Sup> const A for T {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation
error[E0308]: mismatched types
--> $DIR/specializing-constness-2.rs:27:5
|
LL | <T as A>::a();
| ^^^^^^^^^^^^^ expected `host`, found `true`
|
= note: expected constant `host`
found constant `true`
error: aborting due to 2 previous errors
Some errors have detailed explanations: E0119, E0308.
For more information about an error, try `rustc --explain E0119`.