We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a28f3c8 commit a6d96f9Copy full SHA for a6d96f9
compiler/rustc_middle/src/ty/inhabitedness/mod.rs
@@ -29,7 +29,7 @@
29
//! }
30
//! ```
31
//! In this code, the type `Foo` will only be visibly uninhabited inside the
32
-//! modules `b`, `c` and `d`. Calling `uninhabited_predicate` on `Foo` will
+//! modules `b`, `c` and `d`. Calling `inhabited_predicate` on `Foo` will
33
//! return `NotInModule(b) AND NotInModule(c)`.
34
//!
35
//! We need this information for pattern-matching on `Foo` or types that contain
0 commit comments