Trait rustc_trans::middle::infer::combine::CombineableExperimental [-]  [+] [src]

pub trait Combineable<'tcx>: TypeFoldable<'tcx> + Repr<'tcx> {
    fn combine<C: Combine<'tcx>>(combiner: &C, a: &Self, b: &Self) -> Result<Self, type_err<'tcx>>;
}

Required Methods

fn combine<C: Combine<'tcx>>(combiner: &C, a: &Self, b: &Self) -> Result<Self, type_err<'tcx>>

Implementors