permit negative impls for non-auto traits

[rust.git] / src / test / ui / traits / negative-impls / typeck-negative-impls-builtin.rs

// run-pass

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

struct TestType;

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

impl !TestTrait for TestType {}

fn main() {}