Code

Improve erased params logic#18433

Code

Merged

nicolasstucki merged 4 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:improve-erased-params-logicdotty-staging/dotty:improve-erased-params-logicCopy head branch name to clipboard

Aug 31, 2023

Commits

Commits on Aug 21, 2023

• Add `MethodType.nonErasedParamCount`

  nicolasstucki

  committed
  30faeb2

  Copy full SHA for 30faeb2

• Improve `MethodType.hasErasedParams`

  nicolasstucki

  committed
  4774df5

  Copy full SHA for 4774df5

• Move `erasedParams` into `MethodType`

  nicolasstucki

  committed
  785fe5a

  Copy full SHA for 785fe5a

• Optimization computing erased argument counts

  nicolasstucki

  committed
  fa1f79d

  Copy full SHA for fa1f79d