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.