Auto merge of #69649 - estebank:negative-impl-span, r=Centril

Tweak output for invalid negative impl errors

Follow up to #69722. Tweak negative impl errors emitted in the HIR:

```
error[E0192]: invalid negative impl
  --> $DIR/E0192.rs:9:6
   |
LL | impl !Trait for Foo { }
   |      ^^^^^^
   |
   = note: negative impls are only allowed for auto traits, like `Send` and `Sync`
```
This commit is contained in:
bors 2020-03-23 12:40:36 +00:00
commit 8549cfed4b
14 changed files with 95 additions and 50 deletions

View file

@ -1,8 +1,10 @@
error[E0192]: negative impls are only allowed for auto traits (e.g., `Send` and `Sync`)
--> $DIR/E0192.rs:9:1
error[E0192]: invalid negative impl
--> $DIR/E0192.rs:9:6
|
LL | impl !Trait for Foo { }
| ^^^^^^^^^^^^^^^^^^^^^^^
| ^^^^^^
|
= note: negative impls are only allowed for auto traits, like `Send` and `Sync`
error: aborting due to previous error