Rollup merge of #70952 - GuillaumeGomez:cleanup-e0511, r=Dylan-DPC

Clean up E0511 explanation

r? @Dylan-DPC
This commit is contained in:
Mazdak Farrokhzad 2020-04-10 12:48:48 +02:00 committed by GitHub
commit 54807cab1d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,5 +1,6 @@
Invalid monomorphization of an intrinsic function was used. Erroneous code
example:
Invalid monomorphization of an intrinsic function was used.
Erroneous code example:
```compile_fail,E0511
#![feature(platform_intrinsics)]