Code

small search graph refactor#127508

Code

Merged

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

lcnr:search-graph-preplcnr/rust:search-graph-prepCopy head branch name to clipboard

Jul 10, 2024

Commits

Commits on Jul 9, 2024

• exhaustively destructure external constraints

  lcnr

  committed
  7097dbc

  Copy full SHA for 7097dbc

• use `update_parent_goal` for lazy updates

  lcnr

  committed
  e38109d

  Copy full SHA for e38109d

• cycle_participants to nested_goals

  lcnr

  committed
  dd175fe

  Copy full SHA for dd175fe