summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/negative-impls/no-items.rs
blob: 5fc6be9b300079fb9737d0d0518677a00b5fe36e (plain)
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() {}