Trait rustc::middle::typeck::infer::unify::SimplyUnifiable [src]

pub trait SimplyUnifiable: Clone + PartialEq + Repr {
    fn to_type_err(expected_found<Self>) -> type_err;
}

Indicates a type that does not have any kind of subtyping relationship.

Required Methods