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