diff options
author | Martin Odersky <odersky@gmail.com> | 2016-05-20 13:08:56 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-05-23 12:01:40 +0200 |
commit | e4f87d90414e5cfd590f2549e090e7e0ab8141b8 (patch) | |
tree | 21142dd591e41e44a08d29975875b7323bada53d /test/x | |
parent | 67d5660e0be6f0ae411b8fea030acd92a7b27cbf (diff) | |
download | dotty-e4f87d90414e5cfd590f2549e090e7e0ab8141b8.tar.gz dotty-e4f87d90414e5cfd590f2549e090e7e0ab8141b8.tar.bz2 dotty-e4f87d90414e5cfd590f2549e090e7e0ab8141b8.zip |
Make sure local data is unpickled at right phase
We had a problem where unpickling an annotation containing a
class constant had the wrong type. Unpickling was done after erasure.
The type given to the constant was an alias but aliases got
eliminated during erasure, so the constant was malformed.
Unpickling annotation contents at the same phase as unpickling
the annotation carrier solves the problem.
It seems similar problems can arise when data is unpickled
using a LocalUnpickler. So we now make sure local unpickling
runs at the latest at phase Pickler.
Diffstat (limited to 'test/x')
0 files changed, 0 insertions, 0 deletions