diff options
author | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2011-02-16 09:43:03 +0000 |
---|---|---|
committer | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2011-02-16 09:43:03 +0000 |
commit | 82d3f68819d0b19171e0ee440f59cea578533854 (patch) | |
tree | cb5ffbcc8c0882e5db2ea347ca8fda728db47ea2 /test/files/pos/t4257.scala | |
parent | b8a23b072fa0467650be1b56672e0b830d7c8f99 (diff) | |
download | scala-82d3f68819d0b19171e0ee440f59cea578533854.tar.gz scala-82d3f68819d0b19171e0ee440f59cea578533854.tar.bz2 scala-82d3f68819d0b19171e0ee440f59cea578533854.zip |
Made the unification algorithm for specializati...
Made the unification algorithm for specialization stricter when checking
if a specialized member symbol conforms to a type application.
In particular, whereas the `strict` unification mode is concerned: -
when both types are typerefs, unification checks whether they have the
same number of type args, then unifies type args - when both types are
method types, unification checks whether they have the same number of
arguments, then unifies argument types and return types
- when both types are poly types, -- || --
- when unifying multiple types, strict mode will ensure there aren't any overlapping mappings.
Let's hope this fixes and closes #4257.
Review by dragos.
Diffstat (limited to 'test/files/pos/t4257.scala')
0 files changed, 0 insertions, 0 deletions