diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-09-30 14:39:59 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-09-30 14:39:59 +0200 |
| commit | 25431a96c849c878c577e7449d9f8eeec9f94328 (patch) | |
| tree | 59febabe869069594c13c12bab8118f60167cdb1 /src/dotty/tools/dotc/typer/RefChecks.scala | |
| parent | ee4e2e0178d0db6494f2a971f5a5b9d3c8f732db (diff) | |
| download | dotty-25431a96c849c878c577e7449d9f8eeec9f94328.tar.gz dotty-25431a96c849c878c577e7449d9f8eeec9f94328.tar.bz2 dotty-25431a96c849c878c577e7449d9f8eeec9f94328.zip | |
Refinements to signature matching
1) Matching after erasure also takes wildcards into account
(before it didn't).
2) Combine all signature matching operations into a single matchDegree method.
Diffstat (limited to 'src/dotty/tools/dotc/typer/RefChecks.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/RefChecks.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/RefChecks.scala b/src/dotty/tools/dotc/typer/RefChecks.scala index 71fba1588..ae854ed9a 100644 --- a/src/dotty/tools/dotc/typer/RefChecks.scala +++ b/src/dotty/tools/dotc/typer/RefChecks.scala @@ -369,7 +369,7 @@ object RefChecks { clazz.info.nonPrivateMember(sym.name).hasAltWith { alt => alt.symbol.is(JavaDefined, butNot = Deferred) && !sym.owner.derivesFrom(alt.symbol.owner) && - alt.signature.matches(sym.signature) + alt.matches(sym) } } |