tests/ui/traits/negative-impls/negative-impls-basic.rs


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

// A simple test that we are able to create negative impls, when the
// feature gate is given.
//
//@ run-pass

#![feature(negative_impls)]
#![allow(dead_code)]

struct TestType;

trait TestTrait {
    fn dummy(&self) {}
}

impl !TestTrait for TestType {}

fn main() {}