Fix #2081: Don't issue an $init$ method for NoInits traits#3712

Merged

smarter merged 2 commits intoscala:masterfrom

dotty-staging:fix-#2081-noinits

Dec 31, 2017

Commits on Dec 30, 2017

Fix #2081: Don't issue an $init$ method for NoInits traits
odersky
committed

Commits on Dec 31, 2017

Improve traitNoInit test to actually test if $init$ is present
smarter
committed