diff options
author | Adriaan Moors <adriaan@lightbend.com> | 2016-05-23 17:30:36 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan@lightbend.com> | 2016-05-23 17:30:36 -0700 |
commit | 0659af2d180232ab0ec9c2e4230a0057029ad4c2 (patch) | |
tree | 2c9297a6d9b6e7b8f81395d6826cb1d7fc89c8e5 /test/files/run/t1505.scala | |
parent | 755fff0054cf3946b937bccd5613c6cddc8b9bfe (diff) | |
parent | 5faad77ccebb41e9674b103d499de927c0dba662 (diff) | |
download | scala-0659af2d180232ab0ec9c2e4230a0057029ad4c2.tar.gz scala-0659af2d180232ab0ec9c2e4230a0057029ad4c2.tar.bz2 scala-0659af2d180232ab0ec9c2e4230a0057029ad4c2.zip |
Merge pull request #5106 from milessabin/topic/hkgadt
SI-9760 Fix for higher-kinded GADT refinement
Diffstat (limited to 'test/files/run/t1505.scala')
0 files changed, 0 insertions, 0 deletions