Module inhabited_predicate 

Re-exports

use rustc_macros::StableHash; 🔒

use rustc_span::bug; 🔒

use rustc_span::def_id::LocalModId; 🔒

use rustc_span::def_id::ModId; 🔒

use smallvec::SmallVec; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use crate::ty; 🔒

use crate::ty::OpaqueTypeKey; 🔒

use crate::ty::Ty; 🔒

use crate::ty::TyCtxt; 🔒

use crate::ty::TypingEnv; 🔒

use crate::ty::Unnormalized; 🔒

Enums

InhabitedPredicate

Represents whether some type is inhabited in a given context. Examples of uninhabited types are !, enum Void {}, or a struct containing either of those types. A type’s inhabitedness may depend on the ParamEnv as well as what types are visible in the current module.

Functions

try_and 🔒

try_or 🔒