Fix #2944: propagate information from GADT bounds to normal info.#2958
Merged
nicolasstucki merged 5 commits intoscala:masterfrom Sep 21, 2017
Merged
Fix #2944: propagate information from GADT bounds to normal info.#2958nicolasstucki merged 5 commits intoscala:masterfrom
nicolasstucki merged 5 commits intoscala:masterfrom
Commits
Commits on Sep 21, 2017
- committed
- committed
