scala/scala — pull request #3610 by xeno-by (2014-03-07 21:04:20+00:00)
Title: SI-8369 resetAttrs now correctly accounts for skolems

resetAttrs (née resetLocalAttrs) has been oblivious to existence of skolems.
Not anymore, which prevents us from reverting to the untyper nightmare.