|
// 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() {}
|