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.stderr | |
| 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.stderr')
| -rw-r--r-- | src/test/ui/specialization/defaultimpl/validation.stderr | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/src/test/ui/specialization/defaultimpl/validation.stderr b/src/test/ui/specialization/defaultimpl/validation.stderr index e03153f343b..9bf59bd4f63 100644 --- a/src/test/ui/specialization/defaultimpl/validation.stderr +++ b/src/test/ui/specialization/defaultimpl/validation.stderr @@ -24,14 +24,18 @@ LL | default impl !Send for Z {} | | | default because of this -error[E0192]: invalid negative impl - --> $DIR/validation.rs:13:14 +error[E0750]: negative impls cannot be default impls + --> $DIR/validation.rs:10:14 | -LL | default impl !Tr for S {} - | ^^^ +LL | default impl !Send for Z {} + | ^^^^^^^ ^ + +error[E0750]: negative impls cannot be default impls + --> $DIR/validation.rs:14:14 | - = note: negative impls are only allowed for auto traits, like `Send` and `Sync` +LL | default impl !Tr for S {} + | ^^^^^^^ ^ -error: aborting due to 4 previous errors +error: aborting due to 5 previous errors -For more information about this error, try `rustc --explain E0192`. +For more information about this error, try `rustc --explain E0750`. |