diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-05-26 12:03:02 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-06-06 11:04:54 +0200 |
| commit | bf203a52ef0933498a88c2c60e4dad6005bf51cb (patch) | |
| tree | 55bcd15bc1dbe3d5dffc91bdeeda98e238f8d273 /src/dotty/tools/dotc/core/Types.scala | |
| parent | 3352ffc97f3577fd6de5c22a22c7c7c887e9b1f9 (diff) | |
| download | dotty-bf203a52ef0933498a88c2c60e4dad6005bf51cb.tar.gz dotty-bf203a52ef0933498a88c2c60e4dad6005bf51cb.tar.bz2 dotty-bf203a52ef0933498a88c2c60e4dad6005bf51cb.zip | |
Follow aliases when deskolemizing
Be more aggressive doing this than with lookupRefined in that we compute
the member of a projected name, instead of just analyzing the type structurally.
Reason: (1) If we do not follow aliases, skolemization will lose information
(2) Skolemization is applied rather late, less risk of cyclic references by
computing members.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions