diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-02-26 14:47:22 +0100 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-03-18 11:14:11 +0100 |
| commit | af65672ba1020a55c36ea332f86246254680ab43 (patch) | |
| tree | f4fec5fd44e83997e159ea5941c653971543a789 /src/dotty/tools/dotc/typer/Namer.scala | |
| parent | 252ed1756d6875707e9c09a2b85be5e0f46124a8 (diff) | |
| download | dotty-af65672ba1020a55c36ea332f86246254680ab43.tar.gz dotty-af65672ba1020a55c36ea332f86246254680ab43.tar.bz2 dotty-af65672ba1020a55c36ea332f86246254680ab43.zip | |
Bugfix: Take account of asSeenFrom in matchingDenotation
When disambiguating overloaded alternatives in matchingSymbol we need
to apply asSeenFrom before comparing signatures. Before this was not done,
and led to a failure of determining the inherited result type of an
apply method in Checking, which in turn led to a type error.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Namer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Namer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Namer.scala b/src/dotty/tools/dotc/typer/Namer.scala index 78c571230..6460be81f 100644 --- a/src/dotty/tools/dotc/typer/Namer.scala +++ b/src/dotty/tools/dotc/typer/Namer.scala @@ -603,7 +603,7 @@ class Namer { typer: Typer => } val iResType = iInstInfo.finalResultType.asSeenFrom(site, cls) if (iResType.exists) - typr.println(s"using inherited type; raw: $iRawInfo, inst: $iInstInfo, inherited: $iResType") + typr.println(i"using inherited type for ${mdef.name}; raw: $iRawInfo, inst: $iInstInfo, inherited: $iResType") tp & iResType } } |