Type Alias ComputeGoalFastPathOutcome 

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

Aliased Type

pub enum ComputeGoalFastPathOutcome<'tcx> {
    NoFastPath,
    TriviallyHolds,
    TriviallyStalled {
        stalled_on: GoalStalledOn<TyCtxt<'tcx>>,
    },
}

Variants

NoFastPath

Do not attempt the fast path. Compute as normal.

TriviallyHolds

The goal trivially holds, immediately produce a result with Certainty::Yes

TriviallyStalled

The goal is trivially stalled: we know for sure that it makes no sense to compute it right now, but can return information about what its stalled on and when it can be computed for real.

Fields

stalled_on: GoalStalledOn<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.