diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-12-15 14:11:42 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-12-15 17:51:23 +0100 |
| commit | 9b630fae0d3c772610a2c58d9dbb4b95710c8c68 (patch) | |
| tree | 7eeab49973e1effc4d7abc2c3f7dc043d67487de /tests/pos/t2613.scala | |
| parent | ee76fda79d446a2d6db51cb4af032a8e92936013 (diff) | |
| download | dotty-9b630fae0d3c772610a2c58d9dbb4b95710c8c68.tar.gz dotty-9b630fae0d3c772610a2c58d9dbb4b95710c8c68.tar.bz2 dotty-9b630fae0d3c772610a2c58d9dbb4b95710c8c68.zip | |
Revise alias rules in type comparisons.
The fix solves two cases where we had a deep subtype before.
Diffstat (limited to 'tests/pos/t2613.scala')
| -rw-r--r-- | tests/pos/t2613.scala | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/pos/t2613.scala b/tests/pos/t2613.scala new file mode 100644 index 000000000..c234d4c0d --- /dev/null +++ b/tests/pos/t2613.scala @@ -0,0 +1,11 @@ +import language.existentials + +object Test { + class Row + + abstract class MyRelation [R <: Row, +Relation <: MyRelation[R, Relation]] + + type M = MyRelation[_ <: Row, _ <: MyRelation] + + val (x,y): (String, M) = null +} |