diff options
| author | Cameron Steffen <cam.steffen94@gmail.com> | 2022-10-23 18:19:06 -0500 |
|---|---|---|
| committer | Cameron Steffen <cam.steffen94@gmail.com> | 2022-11-20 19:04:11 -0600 |
| commit | a6d96f9fd7ca154fe2840a4d0dc6d6ce315b000e (patch) | |
| tree | c22e7c8b6d7bef127f409b4801ba8fe0733ece3a | |
| parent | a28f3c88e50a77bc2a91889241248c4543854e61 (diff) | |
| download | rust-a6d96f9fd7ca154fe2840a4d0dc6d6ce315b000e.tar.gz rust-a6d96f9fd7ca154fe2840a4d0dc6d6ce315b000e.zip | |
Fix typo
| -rw-r--r-- | compiler/rustc_middle/src/ty/inhabitedness/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_middle/src/ty/inhabitedness/mod.rs b/compiler/rustc_middle/src/ty/inhabitedness/mod.rs index 786eced61d6..305c8190c4c 100644 --- a/compiler/rustc_middle/src/ty/inhabitedness/mod.rs +++ b/compiler/rustc_middle/src/ty/inhabitedness/mod.rs @@ -29,7 +29,7 @@ //! } //! ``` //! 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)`. //! //! We need this information for pattern-matching on `Foo` or types that contain |