Type Alias SucceededInErased 

pub type SucceededInErased<'tcx> = SucceededInErased<TyCtxt<'tcx>>;

Aliased Type

pub enum SucceededInErased<'tcx> {
    Yes {
        accessed_opaques: AccessedOpaques<TyCtxt<'tcx>>,
    },
    No,
}

Variants

Yes

This goal previously succeeded in erased mode, which based on accessed_opaques might make us take a fast path slightly more often.

Fields

accessed_opaques: AccessedOpaques<TyCtxt<'tcx>>

No

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.