Trait rustc_trans::middle::infer::unify::SimplyUnifiableExperimental
[-]
[+]
[src]
pub trait SimplyUnifiable<'tcx>: Repr<'tcx> + PartialEq<Self> + Clone { fn to_type(&self, tcx: &ctxt<'tcx>) -> &'tcx TyS<'tcx>; fn to_type_err(expected_found<Self>) -> type_err<'tcx>; }
Indicates a type that does not have any kind of subtyping relationship.
Required Methods
fn to_type(&self, tcx: &ctxt<'tcx>) -> &'tcx TyS<'tcx>
fn to_type_err(expected_found<Self>) -> type_err<'tcx>
Implementors
impl<'tcx> SimplyUnifiable<'tcx> for IntVarValue
impl<'tcx> SimplyUnifiable<'tcx> for FloatTy