diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-03-12 17:02:47 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-03-12 17:05:13 +0100 |
| commit | 66291018e0512b2d4e7d6bac017ab47b95939275 (patch) | |
| tree | 3ea52f67edcf42c860207ec806d38959654f4f57 /tests/untried/pos/t3972.scala | |
| parent | 7fa78597bf58a7759303095121a432cb258f447c (diff) | |
| download | dotty-66291018e0512b2d4e7d6bac017ab47b95939275.tar.gz dotty-66291018e0512b2d4e7d6bac017ab47b95939275.tar.bz2 dotty-66291018e0512b2d4e7d6bac017ab47b95939275.zip | |
Fix constructor completion problem detected in t0054
Constructors need to be completed in the context which immediately encloses
a class. Otherwise type references in the constructor see the wrong types,
as is demonstrated in t0054. The difficulty here is that the inner class B
nested in A also extends from A. Then it makes a difference whether the constructor
parameter types of B are resolved in the context of B or in the context of A.
Added explanation for context handling of constructors.
Diffstat (limited to 'tests/untried/pos/t3972.scala')
0 files changed, 0 insertions, 0 deletions