Code

feat: trait inheritance#6252

Code

Merged

jfecher merged 29 commits intomasternoir-lang/noir:masterfrom ab/trait-inheritancenoir-lang/noir:ab/trait-inheritanceCopy head branch name to clipboardOct 11, 2024

+627-127

Commits

Commits on Oct 8, 2024

• Parse trait inheritance

  asterite

  committed
  f2bd51f

• Make sure nargo_fmt doesn't break with trait inheritance

  asterite

  committed
  be1ae07

• Resolve trait parent bounds

  asterite

  committed
  19016be

• Embed ResolvedTraitBound in TraitConstraint

  asterite

  committed
  1bdbcf4

• Solve trait bounds and lookup methods in parent types

  asterite

  committed
  3937bd0

Commits on Oct 9, 2024

• Use filter_map

  asterite

  committed
  95fa2c6

• Merge branch 'master' into ab/trait-inheritance

  asterite

  committed
  3b3565e

• Add assumed trait implementations for parent traits

  asterite

  committed
  c65f865

• Detect trait cycles

  asterite

  committed
  57a538f

• Avoid looping forever in case there are cycles

  asterite

  committed
  dc50605

• Add a failing test for trait parents with generics

  asterite

  committed
  4b65f50

• Add a failing test for when a trait impl is missing a parent implementation

  asterite

  committed
  436f0be

• Merge branch 'master' into ab/trait-inheritance

  asterite

  committed
  38dd4e7

• Make it work with generics

  asterite

  committed
  c32803e

• Refactor

  asterite

  committed
  3f8ae2d

Commits on Oct 10, 2024

• Check parent traits are implemented

  asterite

  committed
  9153f27

• Add a test program

  asterite

  committed
  810b87f

• Merge branch 'master' into ab/trait-inheritance

  asterite

  committed
  6701a42

• Correct way to format trait name with generics

  asterite

  committed
  3278cc6

• Correct parent check regarding generics

  asterite

  committed
  5d79bd5

• Add one more test

  asterite

  committed
  7b34a78

• Improve missing trait bound error message

  asterite

  committed
  fdce653

• Add some docs

  asterite

  committed
  e7ea16f

• Simpler way to construct a Diagnostic

  asterite

  committed
  8c5f3f4

• Apply suggestions from code review

  Show description for 81b7f3b
  

  asterite

  and

  jfecher

  authored
  81b7f3b

• Add supertrait and supertraits to cspell

  asterite

  committed
  f69a6ab

• Extract bind_ordered_generics

  asterite

  committed
  216fc2e

• Remove more duplicated code

  asterite

  committed
  566fce7

• Add subtrait to cspell

  asterite

  committed
  5ca1dee