scala/scala — pull request #289 by adriaanm (2012-03-19 16:11:11+00:00)
Title: SI-5189: refined GADT soundness fix

- extrapolate GADT skolems: only complicate types when needed
- make sure we only deskolemize GADT skolems after typedCase