Improve wording
Co-authored-by: Joshua Nelson <joshua@yottadb.com>
This commit is contained in:
parent
cdd6f11012
commit
c4c058c716
1 changed files with 2 additions and 2 deletions
|
@ -220,9 +220,9 @@ mod prim_bool {}
|
|||
/// ```
|
||||
///
|
||||
/// The reason is that, in the first example, there are many possible types that `!` could coerce
|
||||
/// to, because the function can return one of many concrete types. However, in the second example,
|
||||
/// to, because many types implement `Add<u32>`. However, in the second example,
|
||||
/// the `else` branch returns a `0`, which the compiler infers from the return type to be of type
|
||||
/// `u32`, which is a concrete type that `!` can be coerced to. See issue [#36375] for more
|
||||
/// `u32`. Since `u32` is a concrete type, `!` can and will be coerced to it. See issue [#36375] for more
|
||||
/// information on this quirk of `!`.
|
||||
///
|
||||
/// [#36375]: https://github.com/rust-lang/rust/issues/36375
|
||||
|
|
Loading…
Reference in a new issue