Add missing empty line in E0619 explanation

This commit is contained in:
Guillaume Gomez 2020-05-29 11:06:48 +02:00
parent 698c5c6d95
commit 12c03db157

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.