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/sets.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/sets.scala')
-rw-r--r-- | tests/pos/sets.scala | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/pos/sets.scala b/tests/pos/sets.scala new file mode 100644 index 000000000..577d709f5 --- /dev/null +++ b/tests/pos/sets.scala @@ -0,0 +1,11 @@ +object Test { + + val subPatBinders = List[Symbol]() + + def extraStoredBinders: Set[Symbol] = ??? + + val storedBinders: Set[Symbol] = + (if (true) subPatBinders.toSet else Set.empty) ++ extraStoredBinders// -- ignoredSubPatBinders + + +} |