From 644b9a0a94764fb0e30911bb66519c29430bbfad Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Fri, 13 Mar 2020 14:41:43 -0400 Subject: give the negative-impls-builtin test a more sensible name --- .../ui/traits/negative-impls/negative-impls-basic.rs | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 src/test/ui/traits/negative-impls/negative-impls-basic.rs (limited to 'src/test/ui/traits/negative-impls/negative-impls-basic.rs') diff --git a/src/test/ui/traits/negative-impls/negative-impls-basic.rs b/src/test/ui/traits/negative-impls/negative-impls-basic.rs new file mode 100644 index 00000000000..474e0381799 --- /dev/null +++ b/src/test/ui/traits/negative-impls/negative-impls-basic.rs @@ -0,0 +1,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() {} -- cgit 1.4.1-3-g733a5