diff options
| author | odersky <odersky@gmail.com> | 2016-07-15 13:11:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-15 13:11:52 +0200 |
| commit | 409c6c30c8496529aace68967acccf88850145da (patch) | |
| tree | 56fd30bbb5d108b895982da72943e649a58fbd40 /tests/pos/lookuprefined.scala | |
| parent | 1c02c56213cf22010c0aef1dc1446300fe8005fe (diff) | |
| parent | 894c9fbf247765041fc32788c78b85f1b2b2a191 (diff) | |
| download | dotty-409c6c30c8496529aace68967acccf88850145da.tar.gz dotty-409c6c30c8496529aace68967acccf88850145da.tar.bz2 dotty-409c6c30c8496529aace68967acccf88850145da.zip | |
Merge pull request #1343 from dotty-staging/change-hk-direct2
Direct representation of higher-kinded types
Diffstat (limited to 'tests/pos/lookuprefined.scala')
| -rw-r--r-- | tests/pos/lookuprefined.scala | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tests/pos/lookuprefined.scala b/tests/pos/lookuprefined.scala index f7e7f7337..9dd2b4abb 100644 --- a/tests/pos/lookuprefined.scala +++ b/tests/pos/lookuprefined.scala @@ -2,7 +2,9 @@ class C { type T; type U } trait Test { - val x: (C { type U = T } { type T = String }) # U - val y: String = x + val x1: (C { type U = T; type T = String }) # U + val x2: (C { type U = T } {type T = String }) # U + val y1: String = x1 + val y2: String = x2 } |