diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-04-07 17:58:52 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-04-07 17:59:27 +0200 |
| commit | 03e8c54c0165d129b12bdde29b2482dd1758e418 (patch) | |
| tree | ddca733ac77e4c19a4465788c54302bdccb9e7e9 /docs | |
| parent | 306d422f1e3017731d1f9266f9d445e77ea73105 (diff) | |
| download | dotty-03e8c54c0165d129b12bdde29b2482dd1758e418.tar.gz dotty-03e8c54c0165d129b12bdde29b2482dd1758e418.tar.bz2 dotty-03e8c54c0165d129b12bdde29b2482dd1758e418.zip | |
Treat type parameters of secondary constructors as aliases
... of class parameters using the gadt mechanism. Previously they were encoded as aliases
by hardcoding alias bounds in the type parameter declaration, but that then leads to
weird behavior and failures in unpickling.
To make this work, we also need to propagate gadt bounds into the this-call context.
Test case in pickling/i1202a.scala.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions