diff options
| author | odersky <odersky@gmail.com> | 2015-01-31 19:19:07 +0100 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2015-01-31 19:19:07 +0100 |
| commit | a822fc15235d9cc91302bd82d180830eff357ae2 (patch) | |
| tree | 3bd15eecb77b1fca0b944ba5f203ba6f5c41a582 /tests/pending/pos/subtypcycle.scala | |
| parent | 537c53b2eba195317f0e7f0ede0cf3fdbd80e790 (diff) | |
| parent | 70e55d26100199b99502705233786bbdc15c4c6b (diff) | |
| download | dotty-a822fc15235d9cc91302bd82d180830eff357ae2.tar.gz dotty-a822fc15235d9cc91302bd82d180830eff357ae2.tar.bz2 dotty-a822fc15235d9cc91302bd82d180830eff357ae2.zip | |
Merge pull request #331 from dotty-staging/fix/refined-subtyping
Fix/refined subtyping
Diffstat (limited to 'tests/pending/pos/subtypcycle.scala')
| -rw-r--r-- | tests/pending/pos/subtypcycle.scala | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/pending/pos/subtypcycle.scala b/tests/pending/pos/subtypcycle.scala new file mode 100644 index 000000000..76eb7ffec --- /dev/null +++ b/tests/pending/pos/subtypcycle.scala @@ -0,0 +1,10 @@ +object subtypcycle { + trait Y { + type A <: { type T >: B } + type B >: { type T >: A } + } + + val y: Y = ??? + val a: y.A = ??? + val b: y.B = a +} |