src/test/ui/traits/negative-impls/no-items.rs


1
2
3
4
5
6
7
8
9
10
11

#![feature(negative_impls)]

trait MyTrait {
    type Foo;
}

impl !MyTrait for u32 {
    type Foo = i32; //~ ERROR negative impls cannot have any items
}

fn main() {}