diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-11-12 16:56:31 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2009-11-12 16:56:31 +0000 |
| commit | fe1d0c7052279ddf9cacfd1a7160cbee5829a4cc (patch) | |
| tree | 951f2e10f84b4fb800e1bceebadef520ac1a85dd /test/files/pos/t2454.scala | |
| parent | 9ed068ec0091c0f4f9dee0539540408d89e96776 (diff) | |
| download | scala-fe1d0c7052279ddf9cacfd1a7160cbee5829a4cc.tar.gz scala-fe1d0c7052279ddf9cacfd1a7160cbee5829a4cc.tar.bz2 scala-fe1d0c7052279ddf9cacfd1a7160cbee5829a4cc.zip | |
fixed #2587
two underlying problems:
- isAsSpecific did not skolemize lower (left) type in subtyping check (instead used withTypeVar on left and right)
- withTypeVars did not clone the symbols of the type params (so they were not fresh)
(the second fix is not essential due to the first fix, it "improves correctness", but should check whether performance is not impacted too severely)
applied martin's documentation diff
Diffstat (limited to 'test/files/pos/t2454.scala')
0 files changed, 0 insertions, 0 deletions