pub enum ResolvedConstraint {
Bound(Type),
Free(ValueTypeSet),
}
Expand description
The type constraint on a value argument once the controlling type variable is known.
Variants§
Bound(Type)
The operand is bound to a known type.
Free(ValueTypeSet)
The operand type can vary freely within the given set.
Trait Implementations§
source§impl Clone for ResolvedConstraint
impl Clone for ResolvedConstraint
source§fn clone(&self) -> ResolvedConstraint
fn clone(&self) -> ResolvedConstraint
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read more