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

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

Required Methods

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

Implementors