Trait rustc::middle::typeck::infer::unify::UnifyValue[src]
pub trait UnifyValue: Clone + Repr + PartialEq { }Trait for valid types that a type variable can be set to. Note
that this is typically not the end type that the value will
take on, but rather some wrapper: for example, for normal type
variables, the associated type is not ty::t but rather
Bounds<ty::t>.
Implementations of this trait are at the end of this file.
Implementors
impl UnifyValue for Bounds<t>impl UnifyValue for Option<IntVarValue>impl UnifyValue for Option<FloatTy>