summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/negative-impls/negative-impls-basic.rs
blob: 474e0381799bda38e78848cd15b1400d05bec13a (plain)
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() {}