Module delegate 

Structs

CollectNonRegionInfer 🔒

SolverDelegate

Functions

goal_stalled_on_args 🔒

Create a ComputeGoalFastPathOutcome signalling the goal is stalled on a list of ty::GenericArg

goal_stalled_on_args_or_nonempty_opaques 🔒

Create a ComputeGoalFastPathOutcome signalling the goal is stalled on a list of ty::GenericArg or the opaque type storage being nonempty.