diff options
author | Martin Odersky <odersky@gmail.com> | 2015-06-05 17:18:11 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-06-06 11:05:27 +0200 |
commit | 91dd827a726a12395d7b84c03d45ca6822bf8f12 (patch) | |
tree | d8acfd662bdea9800664e60e91bf7cc61ae25e4e /tests/pos/t0082.scala | |
parent | 0ee8e506dac87bae6ec432b2cd277109df872145 (diff) | |
download | dotty-91dd827a726a12395d7b84c03d45ca6822bf8f12.tar.gz dotty-91dd827a726a12395d7b84c03d45ca6822bf8f12.tar.bz2 dotty-91dd827a726a12395d7b84c03d45ca6822bf8f12.zip |
Deskolemize types inferred for vals and defs
We want to establish the invariant (optionally checked by assertNoSkolems)
that symbols do not contain skolemized types as their info. This avoids unsoundness situations
where a skolem gets exported as part if the result type of a method, so different instantiations
look like their are the same instance.
Diffstat (limited to 'tests/pos/t0082.scala')
0 files changed, 0 insertions, 0 deletions