Struct rusttyc::types::Partial [−][src]
Expand description
Partial is a container for a ContextSensitiveVariant and the least arity a particular instance of this variant currently has. Only used for ContextSensitiveVariant::meet().
The least_arity
indicates how many children this instance of the variance has according to the current state of the type checker.
The value might increase in the future but never decrease.
Fields
variant: V
The variant represented by this Partial
.
least_arity: usize
The least number of children the variant will have after completing the type check.
Trait Implementations
Auto Trait Implementations
impl<V> RefUnwindSafe for Partial<V> where
V: RefUnwindSafe,
impl<V> UnwindSafe for Partial<V> where
V: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more