Enum rustc_typeck::middle::implicator::ImplicationUnstable [-] [+] [src]

pub enum Implication<'tcx> {
    RegionSubRegion(Option<&'tcx TyS<'tcx>>, Region, Region),
    RegionSubGeneric(Option<&'tcx TyS<'tcx>>, Region, GenericKind<'tcx>),
    RegionSubClosure(Option<&'tcx TyS<'tcx>>, Region, DefId, &'tcx Substs<'tcx>),
    Predicate(DefId, Predicate<'tcx>),
}

Variants

RegionSubRegion
RegionSubGeneric
RegionSubClosure
Predicate

Trait Implementations

impl<'tcx> Repr<'tcx> for Implication<'tcx>

fn repr(&self, tcx: &ctxt<'tcx>) -> String