Fix #2939: Avoid duplicating symbols in default arguments#3839

Merged

odersky merged 4 commits intoscala:masterfrom

dotty-staging:fix-#2939

Feb 2, 2018

Commits on Feb 1, 2018

Fix #2939: Avoid duplicating symbols in default arguments

odersky
authored and
smarter
committed
Test lifting of call-by-name args

odersky
authored and
smarter
committed
Fix types of lifted DefDefs.

odersky
authored and
smarter
committed

Commits on Feb 2, 2018

Address reviewers comments
odersky
committed