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