Skip to content

Add TermParamClause.isErased#12040

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:add-TermParamClause.isErased
Apr 12, 2021
Merged

Add `TermParamClause.isErased`#12040
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:add-TermParamClause.isErased

Commits

Commits on Apr 9, 2021