Skip to content

Remove NamedTermRef and NamedTypeRef#7001

Merged
nicolasstucki merged 4 commits intoscala:masterfrom
dotty-staging:join-type-and-term-ref-api
Aug 8, 2019
Merged

Remove NamedTermRef and NamedTypeRef#7001
nicolasstucki merged 4 commits intoscala:masterfrom
dotty-staging:join-type-and-term-ref-api

Commits

Commits on Aug 8, 2019