diff options
Diffstat (limited to 'src/dotty/tools/dotc/typer/Applications.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Applications.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index 400c43e3c..1ee34e4be 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -448,7 +448,9 @@ trait Applications extends Compatibility { self: Typer => // try with prototype `[].name(args)`, this might succeed by inserting an // implicit conversion around []. (an example is Int + BigInt). tryEither { implicit ctx => - val qual1 = adaptInterpolated(qual, new SelectionProto(name, proto, NoViewsAllowed)) + val simpleFunProto = new FunProto(tree.args, WildcardType, this) // drop result type, because views are disabled + val selProto = new SelectionProto(name, simpleFunProto, NoViewsAllowed) + val qual1 = adaptInterpolated(qual, selProto) if (qual eq qual1) ctx.error("no progress") if (ctx.reporter.hasErrors) qual1 else |