Code

Also reduce term projections#19389

Code

Merged

odersky merged 2 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:reduce-term-projectionsdotty-staging/dotty:reduce-term-projectionsCopy head branch name to clipboard

Feb 17, 2024

Commits

Commits on Feb 16, 2024

• Also reduce term projections

  Show description for 0a2d995
  odersky

  committed
  0a2d995

  Copy full SHA for 0a2d995

• Simplifty code, addressing review comments

  odersky

  committed
  daa29e6

  Copy full SHA for daa29e6