src/test/ui/coherence/coherence-default-trait-impl.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#![feature(auto_traits)]
#![feature(negative_impls)]

auto trait MySafeTrait {}

struct Foo;

unsafe impl MySafeTrait for Foo {}
//~^ ERROR E0199

unsafe auto trait MyUnsafeTrait {}

impl MyUnsafeTrait for Foo {}
//~^ ERROR E0200

fn main() {}