Skip to main content

Module delegate

Module delegate 

Source

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.