tests/ui/traits/negative-impls/eager-mono.rs


1
2
3
4
5
6
7
8
9
10
11
12

//@ build-pass
//@ compile-flags:-C link-dead-code=y

#![feature(negative_impls)]

trait Foo {
    fn foo() {}
}

impl !Foo for () {}

fn main() {}