Skip to content

Add TermParamClause.isGiven#12042

Merged
nicolasstucki merged 1 commit intoscala:release-3.0.0from
dotty-staging:backport-#12025
Apr 12, 2021
Merged

Add `TermParamClause.isGiven`#12042
nicolasstucki merged 1 commit intoscala:release-3.0.0from
dotty-staging:backport-#12025

Commits

Commits on Apr 9, 2021