diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-05-26 13:19:04 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-06-06 11:04:54 +0200 |
| commit | eaf3095494af2b0ea028452450a6af44e27f5284 (patch) | |
| tree | 505da68a0b6779afab0940c7748f2cbec91c348d /src/dotty/tools/dotc/core/Types.scala | |
| parent | 3d241f3ddbb1d364d163612f643adb57b355f554 (diff) | |
| download | dotty-eaf3095494af2b0ea028452450a6af44e27f5284.tar.gz dotty-eaf3095494af2b0ea028452450a6af44e27f5284.tar.bz2 dotty-eaf3095494af2b0ea028452450a6af44e27f5284.zip | |
Disable deskolemization in narrowGADTBounds
Will use deskolemize later, when method result types
are inferred.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions