Type Alias Value

Source
pub type Value<'tcx> = Option<EarlyBinder<'tcx, Ty<'tcx>>>;

Aliased Type§

pub enum Value<'tcx> {
    None,
    Some(EarlyBinder<TyCtxt<'tcx>, Ty<'tcx>>),
}

Variants§

§

None

No value.

§

Some(EarlyBinder<TyCtxt<'tcx>, Ty<'tcx>>)

Some value of type T.

Layout§

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.