diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-03-12 18:09:48 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-03-12 18:09:56 +0100 |
| commit | 32617344f90001faa65a020f54d309d076da8fcc (patch) | |
| tree | d479c440deedd9b31a68999ef54d9d843ebc4893 /compiler/src/dotty/tools/dotc/typer/Typer.scala | |
| parent | c878f8101173d27fe9640bea5d1cea704061ca3c (diff) | |
| download | dotty-32617344f90001faa65a020f54d309d076da8fcc.tar.gz dotty-32617344f90001faa65a020f54d309d076da8fcc.tar.bz2 dotty-32617344f90001faa65a020f54d309d076da8fcc.zip | |
Alternative fix of #2066.
Now we never match `? { name: T }` with types that
have only a private `name` member. This is what scalac does, too.
Diffstat (limited to 'compiler/src/dotty/tools/dotc/typer/Typer.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/typer/Typer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala index ba14b7498..2578da649 100644 --- a/compiler/src/dotty/tools/dotc/typer/Typer.scala +++ b/compiler/src/dotty/tools/dotc/typer/Typer.scala @@ -1714,7 +1714,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit def tryInsertImplicitOnQualifier(tree: Tree, pt: Type)(implicit ctx: Context): Option[Tree] = ctx.traceIndented(i"try insert impl on qualifier $tree $pt") { tree match { case Select(qual, name) => - val qualProto = SelectionProto(name, pt, NoViewsAllowed) + val qualProto = SelectionProto(name, pt, NoViewsAllowed, privateOK = false) tryEither { implicit ctx => val qual1 = adaptInterpolated(qual, qualProto, EmptyTree) if ((qual eq qual1) || ctx.reporter.hasErrors) None |