diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2020-01-08 06:39:38 -0500 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2020-03-26 06:27:45 -0400 |
| commit | e8a05e201ee6cea12fe05e4271e91fd40c2fb235 (patch) | |
| tree | bdceb99e8a844cd9582b46c0cd10c3da8865bc60 /src/test/ui/traits/negative-impls/negative-default-impls.rs | |
| parent | a17dd3608477a47741f97b907a61b6d81524ba4e (diff) | |
| download | rust-e8a05e201ee6cea12fe05e4271e91fd40c2fb235.tar.gz rust-e8a05e201ee6cea12fe05e4271e91fd40c2fb235.zip | |
permit negative impls for non-auto traits
Diffstat (limited to 'src/test/ui/traits/negative-impls/negative-default-impls.rs')
| -rw-r--r-- | src/test/ui/traits/negative-impls/negative-default-impls.rs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/test/ui/traits/negative-impls/negative-default-impls.rs b/src/test/ui/traits/negative-impls/negative-default-impls.rs new file mode 100644 index 00000000000..b23ac87f899 --- /dev/null +++ b/src/test/ui/traits/negative-impls/negative-default-impls.rs @@ -0,0 +1,10 @@ +#![feature(optin_builtin_traits)] +#![feature(specialization)] + +trait MyTrait { + type Foo; +} + +default impl !MyTrait for u32 {} //~ ERROR negative impls cannot be default impls + +fn main() {} |