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/pos/t1208.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/pos/t1208.scala')
-rw-r--r-- | tests/pos/t1208.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/pos/t1208.scala b/tests/pos/t1208.scala new file mode 100644 index 000000000..7b14aadca --- /dev/null +++ b/tests/pos/t1208.scala @@ -0,0 +1,7 @@ +object Test { + object Foo + val f: Option[Foo.type] = Some(Foo) +} + +// unsupported with current typing rules. +// on the other hand, we need a way to refer to a module class. |