Trait rustc::middle::infer::unify::UnifyValueExperimental
[-]
[+]
[src]
pub trait UnifyValue<'tcx>: Clone + Repr<'tcx> + 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 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<'tcx> UnifyValue<'tcx> for Option<IntVarValue>
impl<'tcx> UnifyValue<'tcx> for Option<FloatTy>