diff options
Diffstat (limited to 'src/test/ui/specialization/min_specialization/specialize_on_trait.rs')
-rw-r--r-- | src/test/ui/specialization/min_specialization/specialize_on_trait.rs | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/src/test/ui/specialization/min_specialization/specialize_on_trait.rs b/src/test/ui/specialization/min_specialization/specialize_on_trait.rs deleted file mode 100644 index 0588442c3..000000000 --- a/src/test/ui/specialization/min_specialization/specialize_on_trait.rs +++ /dev/null @@ -1,20 +0,0 @@ -// Test that specializing on a trait is not allowed in general. - -#![feature(min_specialization)] - -trait SpecMarker {} - -trait X { - fn f(); -} - -impl<T> X for T { - default fn f() {} -} - -impl<T: SpecMarker> X for T { - //~^ ERROR cannot specialize on trait `SpecMarker` - fn f() {} -} - -fn main() {} |