diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-03-20 10:07:24 +0100 |
|---|---|---|
| committer | Tobias Schlatter <tobias@meisch.ch> | 2014-03-21 11:28:30 +0100 |
| commit | 07939c96715cd5adf7f220d239f61b73dd00edc3 (patch) | |
| tree | de23b24f90ffc32bcbf6a22447cf93a5521abbd5 /tests | |
| parent | 7e1343e86a0d2575d596198d0f889b7d64cdb5a4 (diff) | |
| download | dotty-07939c96715cd5adf7f220d239f61b73dd00edc3.tar.gz dotty-07939c96715cd5adf7f220d239f61b73dd00edc3.tar.bz2 dotty-07939c96715cd5adf7f220d239f61b73dd00edc3.zip | |
Fix of t1279a: baseTypeWithArgs
baseTypeWithArgs now also keeps track of refinements in the subtypes. Without
that, the approximated lub in t1279a is too coarse and the program fails to typecheck.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/pos/t1279a.scala (renamed from tests/pending/pos/t1279a.scala) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tests/pending/pos/t1279a.scala b/tests/pos/t1279a.scala index 18b1e53f4..18b1e53f4 100644 --- a/tests/pending/pos/t1279a.scala +++ b/tests/pos/t1279a.scala |