From fe7e846167e7071a77f1765d7a490147a7b4f45a Mon Sep 17 00:00:00 2001 From: adispring Date: Fri, 21 Jun 2019 10:44:26 +0800 Subject: [PATCH] [typo] Note, that it is -> Note that, it is --- src/fn/diverging.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/fn/diverging.md b/src/fn/diverging.md index 6cd63a0d36..19cf27c080 100644 --- a/src/fn/diverging.md +++ b/src/fn/diverging.md @@ -9,7 +9,7 @@ fn foo() -> ! { ``` As opposed to all the other types, this one cannot be instantiated, because the -set of all possible values this type can have is empty. Note, that it is +set of all possible values this type can have is empty. Note that, it is different from the `()` type, which has exactly one possible value. For example, this function returns as usual, although there is no information