Code

Properly substitute trait generics#132

Code

Open

Nadrieril wants to merge 2 commits intoAeneasVerif:mainAeneasVerif/eurydice:mainfrom Nadrieril:properly-substitute-trait-genericsNadrieril/eurydice:properly-substitute-trait-genericsCopy head branch name to clipboard

+109-81

Commits

Commits on Jan 10, 2025

• Properly substitute trait generics

  Nadrieril

  committed
  a5b2507

  Copy full SHA for a5b2507

• Merge branch 'main' into properly-substitute-trait-generics

  msprotz

  authored
  502c941

  Copy full SHA for 502c941