diff options
Diffstat (limited to 'src/dotty/tools/dotc/typer')
-rw-r--r-- | src/dotty/tools/dotc/typer/Applications.scala | 4 | ||||
-rw-r--r-- | src/dotty/tools/dotc/typer/ImportInfo.scala | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index e2e40e7e2..1d564caee 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -815,8 +815,8 @@ trait Applications extends Compatibility { self: Typer => case defn.FunctionType(args, resultType) => narrowByTypes(alts, args, resultType) - case tp => - alts filter (alt => testCompatible(normalize(alt), tp)) + case pt => + alts filter (alt => testCompatible(normalize(alt), pt)) } if (isDetermined(candidates)) candidates diff --git a/src/dotty/tools/dotc/typer/ImportInfo.scala b/src/dotty/tools/dotc/typer/ImportInfo.scala index 7be914f8b..a87dec069 100644 --- a/src/dotty/tools/dotc/typer/ImportInfo.scala +++ b/src/dotty/tools/dotc/typer/ImportInfo.scala @@ -86,7 +86,7 @@ class ImportInfo(val sym: Symbol, val selectors: List[untpd.Tree], val rootImpor for { renamed <- reverseMapping.keys denot <- pre.member(reverseMapping(renamed)).altsWith(_ is Implicit) - } yield TermRef.withSym(pre, renamed, denot.symbol.asTerm).withDenot(denot) + } yield TermRef.withSig(pre, renamed, denot.signature).withDenot(denot) } override def toString = { |