Rollup merge of #74123 - GuillaumeGomez:cleanup-e0718, r=pickfire

clean up E0718 explanation

r? @Dylan-DPC
This commit is contained in:
Manish Goregaokar 2020-07-13 22:23:10 -07:00 committed by GitHub
commit 549aa03d86
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,7 +1,6 @@
This error indicates that a `#[lang = ".."]` attribute was placed
on the wrong type of item.
A `#[lang = ".."]` attribute was placed on the wrong item type.
Examples of erroneous code:
Erroneous code example:
```compile_fail,E0718
#![feature(lang_items)]