Module rustc_middle::ty::inhabitedness::inhabited_predicate
source · Enums
- 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 theParamEnv
as well as what types are visible in the current module.