diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-01-19 21:26:22 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-01-20 10:53:48 +0100 |
| commit | eb1197c87b212bd3b776ce9e24f550e80888e5e4 (patch) | |
| tree | f41eb3267a218ae562e16317485d99f486c86517 /tests/pos/i998.scala | |
| parent | 1aa8fbb56e95d7aea04b338d3edf7d53077b804a (diff) | |
| download | dotty-eb1197c87b212bd3b776ce9e24f550e80888e5e4.tar.gz dotty-eb1197c87b212bd3b776ce9e24f550e80888e5e4.tar.bz2 dotty-eb1197c87b212bd3b776ce9e24f550e80888e5e4.zip | |
Fix #998
Needed a fix in approximateUnion.
Diffstat (limited to 'tests/pos/i998.scala')
| -rw-r--r-- | tests/pos/i998.scala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/pos/i998.scala b/tests/pos/i998.scala new file mode 100644 index 000000000..4bd3ecf29 --- /dev/null +++ b/tests/pos/i998.scala @@ -0,0 +1,6 @@ +object Test { + def foo[A <: X, B <: X, X](left: A, right: B): Unit = { + val elem = if (false) left else right + val check: X = elem + } +} |