diff options
author | Martin Odersky <odersky@gmail.com> | 2013-12-23 20:22:11 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-12-23 20:22:11 +0100 |
commit | 93630a2097dd52f2b764a3a739887c2a71398578 (patch) | |
tree | f8ab689b999b4712b5206540ef2a72fc936c8e07 /src/dotty/tools/dotc/typer/Typer.scala | |
parent | b9b5e970f8c56d490101156c4fe849c1e952e490 (diff) | |
download | dotty-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.scala | 8 |
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 |