Trait rustc_typeck::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