diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-07-25 09:45:50 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-07-25 09:45:50 +0200 |
| commit | 15fb8e160210e20ec9bec949f23e08ef045b1545 (patch) | |
| tree | 874ebc9457a0ea2ea4b1c912c5698d998b678722 /src/strawman | |
| parent | 11f06fe8435c118a8476b2c197c1973ea4c647aa (diff) | |
| download | dotty-15fb8e160210e20ec9bec949f23e08ef045b1545.tar.gz dotty-15fb8e160210e20ec9bec949f23e08ef045b1545.tar.bz2 dotty-15fb8e160210e20ec9bec949f23e08ef045b1545.zip | |
Fix #1284: Make classTag depend directly on erasure
In the end, a classTag reflects the erased version of a type. The only
condition for its generation should be that the erasure is stable under
possible instantiations.
Diffstat (limited to 'src/strawman')
0 files changed, 0 insertions, 0 deletions