mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Explain why the 0 is a u32

Browse Source
This commit is contained in:
Camelid 2020-08-30 11:43:16 -07:00 committed by GitHub
parent 7e2548fe69
commit 37ea97cc10
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
library/std/src/primitive_docs.rs
View File

@ -222,8 +222,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,
/// the `else` branch returns a `0` of type `u32`, which is a concrete type that `!` can be coerced
/// to. See issue [#36375] for more information on this quirk of `!`.
/// 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
/// information on this quirk of `!`.
///
/// [#36375]: https://github.com/rust-lang/rust/issues/36375
///