Value in rustc_middle::queries::inhabited_predicate_adt - Rust
Description: API documentation for the Rust `Value` type in crate `rustc_middle`.

Skip to main content

## Value

# Type Alias Value

Source

    pub type Value<'tcx> = InhabitedPredicate<'tcx>;

## Aliased Type§

    pub enum Value<'tcx> {
        True,
        False,
        ConstIsZero(Const<'tcx>),
        NotInModule(DefId),
        GenericType(Ty<'tcx>),
        OpaqueType(OpaqueTypeKey<TyCtxt<'tcx>>),
        And(&'tcx [InhabitedPredicate<'tcx>; 2]),
        Or(&'tcx [InhabitedPredicate<'tcx>; 2]),
    }

## Variants§

§

### True

Inhabited

§

### False

Uninhabited

§

### ConstIsZero(Const<'tcx>)

Uninhabited when a const value is non-zero. This occurs when there is an array of uninhabited items, but the array is inhabited if it is empty.

§

### NotInModule(DefId)

Uninhabited if within a certain module. This occurs when an uninhabited type has restricted visibility.

§

### GenericType(Ty<'tcx>)

Inhabited if some generic type is inhabited. These are replaced by calling `Self::instantiate`.

§

### OpaqueType(OpaqueTypeKey<TyCtxt<'tcx>>)

Inhabited if either we don’t know the hidden type or we know it and it is inhabited.

§

### And(&'tcx [InhabitedPredicate<'tcx>; 2])

A AND B

§

### Or(&'tcx [InhabitedPredicate<'tcx>; 2])

A OR B

## Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain `repr(...)` attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 16 bytes

Size for each variant:

- `True`: 0 bytes
- `False`: 0 bytes
- `ConstIsZero`: 8 bytes
- `NotInModule`: 8 bytes
- `GenericType`: 8 bytes
- `OpaqueType`: 16 bytes
- `And`: 8 bytes
- `Or`: 8 bytes