Split fix into another section for E0749
This commit is contained in:
parent
ec23f4ed3f
commit
a2d7c33aa8
1 changed files with 11 additions and 1 deletions
|
@ -11,10 +11,20 @@ trait MyTrait {
|
|||
impl !MyTrait for u32 {
|
||||
type Foo = i32; // error!
|
||||
}
|
||||
// impl !MyTrait for u32 {} // fix
|
||||
# fn main() {}
|
||||
```
|
||||
|
||||
Negative impls are not allowed to have any items. Negative impls declare that a
|
||||
trait is **not** implemented (and never will be) and hence there is no need to
|
||||
specify the values for trait methods or other items.
|
||||
|
||||
One way to fix this is to remove the items in negative impls.
|
||||
|
||||
```
|
||||
# #![feature(negative_impls)]
|
||||
trait MyTrait {
|
||||
type Foo;
|
||||
}
|
||||
|
||||
impl !MyTrait for u32 {}
|
||||
```
|
||||
|
|
Loading…
Reference in a new issue