Auto merge of #70415 - Centril:rollup-1zttfvl, r=Centril

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

#![feature(optin_builtin_traits)]

struct TestType;

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

impl !TestTrait for TestType {}
//~^ ERROR invalid negative impl

fn main() {}