Trait rustc::middle::infer::unify::SimplyUnifiableExperimental

pub trait SimplyUnifiable<'tcx>: Clone + PartialEq + Repr<'tcx> {
    fn to_type(&self, tcx: &ctxt<'tcx>) -> Ty<'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>) -> Ty<'tcx>

fn to_type_err(expected_found<Self>) -> type_err<'tcx>

Implementors

• impl<'tcx> SimplyUnifiable<'tcx> for IntVarValue
• impl<'tcx> SimplyUnifiable<'tcx> for FloatTy