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/specialization/defaultimpl/validation.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/specialization/defaultimpl/validation.rs')
| -rw-r--r-- | src/test/ui/specialization/defaultimpl/validation.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/test/ui/specialization/defaultimpl/validation.rs b/src/test/ui/specialization/defaultimpl/validation.rs index 5b8a72104e3..ac8742c70c8 100644 --- a/src/test/ui/specialization/defaultimpl/validation.rs +++ b/src/test/ui/specialization/defaultimpl/validation.rs @@ -8,8 +8,9 @@ default impl S {} //~ ERROR inherent impls cannot be `default` default unsafe impl Send for S {} //~ ERROR impls of auto traits cannot be default default impl !Send for Z {} //~ ERROR impls of auto traits cannot be default + //~^ ERROR negative impls cannot be default impls trait Tr {} -default impl !Tr for S {} //~ ERROR invalid negative impl +default impl !Tr for S {} //~ ERROR negative impls cannot be default impls fn main() {} |