Enum rustc_typeck::middle::infer::region_inference::VerifyExperimental [-]  [+] [src]

pub enum Verify<'tcx> {
    VerifyRegSubReg(SubregionOrigin<'tcx>, Region, Region),
    VerifyParamBound(ParamTy, SubregionOrigin<'tcx>, Region, Vec<Region>),
}

Variants

VerifyRegSubReg
VerifyParamBound

Trait Implementations

impl<'tcx> Repr<'tcx> for Verify<'tcx>

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