diff options
Diffstat (limited to 'src/test/ui/specialization/specialization-polarity.rs')
-rw-r--r-- | src/test/ui/specialization/specialization-polarity.rs | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/test/ui/specialization/specialization-polarity.rs b/src/test/ui/specialization/specialization-polarity.rs deleted file mode 100644 index b3cd8255b..000000000 --- a/src/test/ui/specialization/specialization-polarity.rs +++ /dev/null @@ -1,17 +0,0 @@ -// Make sure specialization cannot change impl polarity - -#![feature(auto_traits)] -#![feature(negative_impls)] -#![feature(specialization)] //~ WARN the feature `specialization` is incomplete - -auto trait Foo {} - -impl<T> Foo for T {} -impl !Foo for u8 {} //~ ERROR E0751 - -auto trait Bar {} - -impl<T> !Bar for T {} -impl Bar for u8 {} //~ ERROR E0751 - -fn main() {} |