aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Typer.scala
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2013-12-23 20:22:11 +0100
committerMartin Odersky <odersky@gmail.com>2013-12-23 20:22:11 +0100
commit93630a2097dd52f2b764a3a739887c2a71398578 (patch)
treef8ab689b999b4712b5206540ef2a72fc936c8e07 /src/dotty/tools/dotc/typer/Typer.scala
parentb9b5e970f8c56d490101156c4fe849c1e952e490 (diff)
downloaddotty-93630a2097dd52f2b764a3a739887c2a71398578.tar.gz
dotty-93630a2097dd52f2b764a3a739887c2a71398578.tar.bz2
dotty-93630a2097dd52f2b764a3a739887c2a71398578.zip
Making default getters for constructor of a case class work also for its apply method.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
-rw-r--r--src/dotty/tools/dotc/typer/Typer.scala8
1 files changed, 6 insertions, 2 deletions
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