Code

Add TermParamClause.isErased#12040

Code

Merged

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:add-TermParamClause.isEraseddotty-staging/dotty:add-TermParamClause.isErasedCopy head branch name to clipboard

Apr 12, 2021

Commits

Commits on Apr 9, 2021

• Add `TermParamClause.isErased`

  nicolasstucki

  committed
  b39fe3b

  Copy full SHA for b39fe3b