Type Alias GoalStalledOnOpaques 

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

Aliased Type

pub enum GoalStalledOnOpaques<'tcx> {
    No,
    Yes {
        num_opaques_in_storage: usize,
        previously_succeeded_in_erased: SucceededInErased<TyCtxt<'tcx>>,
    },
}

Variants

No

This goal got stalled in compute_goal_fast_path. Usually this means the goal is stalled on not that much, only one or two variables, and definitely nothing to do with opaque types. So we don’t store that information.

Yes

Fields

num_opaques_in_storage: usize

previously_succeeded_in_erased: SucceededInErased<TyCtxt<'tcx>>

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.