Trait rustc_typeck::middle::infer::unify::UnifyValueExperimental [-]  [+] [src]

pub trait UnifyValue<'tcx>: Repr<'tcx> + PartialEq<Self> + Clone { }

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