lampepfl/dotty — pull request #164 by odersky (2014-08-13 13:25:39+00:00)
Title: Change/treecopying

Tree copiers changed so that they now accept default arguments (at least
for the ones with more than 2 arguments). Review by @DarkDimius.

This PR has been rebased over #162, should logically reviewed after than one.