From 93630a2097dd52f2b764a3a739887c2a71398578 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 23 Dec 2013 20:22:11 +0100 Subject: Making default getters for constructor of a case class work also for its apply method. --- src/dotty/tools/dotc/typer/Typer.scala | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'src/dotty/tools/dotc/typer/Typer.scala') diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index 99d5f6b98..016229bc2 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -1143,8 +1143,12 @@ class Typer extends Namer with Applications with Implicits { } case wtp => pt match { - case pt: FunProto => adaptToArgs(wtp, pt) - case pt: PolyProto => tree // error will be reported in typedTypeApply + case pt: FunProto => + adaptToArgs(wtp, pt) + case pt: PolyProto => + tryInsertApply(tree, pt) { + (_, _) => tree // error will be reported in typedTypeApply + } case _ => if (ctx.mode is Mode.Type) if (tree.tpe <:< pt) tree -- cgit v1.2.3