diff options
author | Martin Odersky <odersky@gmail.com> | 2016-02-04 12:03:09 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-02-04 12:03:15 +0100 |
commit | 7d1d93e95113802bee77b9d2b89475a56be46bf7 (patch) | |
tree | 994d5cf39aa3ab813d5b13f4b36bce2c8fcdda6c /tests | |
parent | 93dd1cf1fdbf56ca3c153aa5a25fb4c48782acf5 (diff) | |
download | dotty-7d1d93e95113802bee77b9d2b89475a56be46bf7.tar.gz dotty-7d1d93e95113802bee77b9d2b89475a56be46bf7.tar.bz2 dotty-7d1d93e95113802bee77b9d2b89475a56be46bf7.zip |
Push `|' into corresponding RefinedTypes in approximateUnion
This gives in general a supertype, that's OK for approximation.
See ee76fda for an explanation.
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pos/intersection.scala | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tests/pos/intersection.scala b/tests/pos/intersection.scala index 2b9f6c0b7..a4c19b5af 100644 --- a/tests/pos/intersection.scala +++ b/tests/pos/intersection.scala @@ -1,3 +1,4 @@ +import dotty.language.keepUnions object intersection { class A @@ -11,9 +12,6 @@ object intersection { val a: A & B => Unit = z val b: (A => Unit) | (B => Unit) = z - - - type needsA = A => Nothing type needsB = B => Nothing } |