1
Fork 0
This commit is contained in:
Cameron Steffen 2022-10-23 18:19:06 -05:00
parent a28f3c88e5
commit a6d96f9fd7

View file

@ -29,7 +29,7 @@
//! } //! }
//! ``` //! ```
//! In this code, the type `Foo` will only be visibly uninhabited inside the //! In this code, the type `Foo` will only be visibly uninhabited inside the
//! modules `b`, `c` and `d`. Calling `uninhabited_predicate` on `Foo` will //! modules `b`, `c` and `d`. Calling `inhabited_predicate` on `Foo` will
//! return `NotInModule(b) AND NotInModule(c)`. //! return `NotInModule(b) AND NotInModule(c)`.
//! //!
//! We need this information for pattern-matching on `Foo` or types that contain //! We need this information for pattern-matching on `Foo` or types that contain