Code

Improved trait coherence checking#6844

Code

Draft

tritao wants to merge 4 commits intoFuelLabs:masterFuelLabs/sway:masterfrom tritao:trait-coherencetritao/sway:trait-coherenceCopy head branch name to clipboard

+304-174

Commits

Commits on Feb 25, 2025

• Add ProgramId to root module.

  tritao

  committed
  846fd87

  Copy full SHA for 846fd87

• Fully resolve trait constraints call paths.

  tritao

  committed
  05385e2

  Copy full SHA for 05385e2

• Fully resolve impl type parameters.

  tritao

  committed
  dd0fd73

  Copy full SHA for dd0fd73

• Introduce walk_scope_chain_early_return and walk_scope_chain.

  tritao

  committed
  ad608ac

  Copy full SHA for ad608ac