Rollup merge of #72731 - GuillaumeGomez:cleanup-e0619, r=Dylan-DPC

Add missing empty line in E0619 explanation

r? @Dylan-DPC
This commit is contained in:
Dylan DPC 2020-05-29 20:21:26 +02:00 committed by GitHub
commit 180a92cad7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,4 +1,5 @@
#### Note: this error code is no longer emitted by the compiler.
The type-checker needed to know the type of an expression, but that type had not
yet been inferred.