Trait rustc_typeck::middle::infer::unify::SimplyUnifiableExperimental

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