Apply nits

rust-lang · May 14, 2020 · e084b8d · e084b8d
1 parent d9fc1a1
commit e084b8d
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/src/type-coercions.md b/src/type-coercions.md
@@ -251,10 +251,10 @@ LUB coercion has the following properties:
 
 Note the feature No. 3, it uses the word "means" rather than "if and only if".
 That's because currently if `ty0` and `ty1` can be coerced to `ty2` and
-unfortunately `ty2` equals to neither `ty0` nor `ty1`, there are only one
+if `ty2` equals to neither `ty0` nor `ty1`, there is only one
 special situation where we can get `LubCoerce(ty0, ty1) == Some(ty2)`:
 `LubCoerce((FnDef | Closure), (FnDef | Closure)) == Some(FnPtr)` (where Closure
-is non-capturing). You can check it with the pseudo code.
+is non-capturing).
 
 When an expression that performs LUB coercion has an expected type, the
 expected type is added to the list of types the coercion operates on. So,

diff --git a/stable-check/Cargo.lock b/stable-check/Cargo.lock