diff options
author | Martin Odersky <odersky@gmail.com> | 2015-09-29 17:29:53 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-09-29 19:18:53 +0200 |
commit | 9c8e247d8900f3fb6f497bc5e269b68f6bc967b7 (patch) | |
tree | 1d95772bcf702e407b018eccec7913d7b6563a79 /project | |
parent | 7d3a0064aba0cfe74f7eea7bb43b913cd2c224c7 (diff) | |
download | dotty-9c8e247d8900f3fb6f497bc5e269b68f6bc967b7.tar.gz dotty-9c8e247d8900f3fb6f497bc5e269b68f6bc967b7.tar.bz2 dotty-9c8e247d8900f3fb6f497bc5e269b68f6bc967b7.zip |
Matching denotations should take infos into account
Whenchecking whether two denotations match it is not enough
to look at the signatures. The signatures might match (on the
parameters) but the actual parametre types might be different.
The change always tests infos after signatures, effectively
turning the signature test into a pre-filter.
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions