nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-05-14 02:49:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Apply suggestions from code review

Browse Source 
Co-authored-by: Jubilee <46493976+workingjubilee@users.noreply.github.com>
This commit is contained in:
Waffle Maybe 2024-04-27 00:47:23 +02:00 committed by GitHub
parent 23b67de151
commit b73bfd26e4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
library/core/src/primitive_docs.rs
View File

@ -270,8 +270,8 @@ mod prim_bool {}
///
/// # Never type fallback
///
/// When the compiler sees a value of type `!` it implicitly inserts a coercion (if possible),
/// to allow type check to infer any type:
/// When the compiler sees a value of type `!` it implicitly inserts a coercion (if possible)
/// to allow type checker to infer any type:
///
/// ```rust,ignore (illustrative-and-has-placeholders)
/// // this
@ -297,8 +297,13 @@ mod prim_bool {}
/// { absurd(panic!()) }; // error: can't infer the type of `absurd`
/// ```
///
/// To prevent such errors, compiler remembers where it inserted `absurd` calls, and if it can't
/// infer their type, it sets the type to the fallback type. `{ absurd::<Fallback>(panic!()) };`.
/// To prevent such errors, the compiler remembers where it inserted `absurd` calls, and
/// if it can't infer their type, it sets the type to the fallback type:
/// ```rust, ignore
/// type Fallback = /* An arbitrarily selected type! */;
/// { absurd::<Fallback>(panic!()) }
/// ```
///
/// This is what is known as "never type fallback".
///
/// Historically fallback was [`()`], causing confusing behavior where `!` spontaneously coerced