Rollup merge of #73687 - GuillaumeGomez:cleanup-e0701, r=Dylan-DPC

Clean up E0701 explanation

r? @Dylan-DPC
This commit is contained in:
Manish Goregaokar 2020-06-25 18:00:25 -07:00 committed by GitHub
commit 8c5d794b52
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,7 +1,7 @@
This error indicates that a `#[non_exhaustive]` attribute was incorrectly placed
on something other than a struct or enum.
Examples of erroneous code:
Erroneous code example:
```compile_fail,E0701
#[non_exhaustive]