Skip to content

Disallow erased inline definitions#14250

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:disallow-erased-inline
Jan 12, 2022

Commits

Commits on Jan 12, 2022