Trait rustc_typeck::middle::infer::unify::UnifyValueUnstable
[-] [+]
[src]
pub trait UnifyValue: PartialEq<Self> + Clone + Debug { }
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 an Option
wrapper (where None
represents a variable
whose value is not yet set).
Implementations of this trait are at the end of this file.
Implementors
impl UnifyValue for Option<IntVarValue>
impl UnifyValue for Option<FloatTy>