diff options
author | Martin Odersky <odersky@gmail.com> | 2017-03-12 11:53:51 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-03-14 12:05:29 +0100 |
commit | 81086afc724aaa4b574dfcf6318905773fc5b2f1 (patch) | |
tree | 2c3f5161c147b2d2c6999a78d06a4d1d28d7c5c6 /compiler/src/dotty/tools/dotc/typer/Typer.scala | |
parent | 41afff188c25866f92fc64cbf5da195bc85c8c9a (diff) | |
download | dotty-81086afc724aaa4b574dfcf6318905773fc5b2f1.tar.gz dotty-81086afc724aaa4b574dfcf6318905773fc5b2f1.tar.bz2 dotty-81086afc724aaa4b574dfcf6318905773fc5b2f1.zip |
Check there are no forward dependencies to method parameters
Diffstat (limited to 'compiler/src/dotty/tools/dotc/typer/Typer.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/typer/Typer.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala index 4bf87dd81..d4a9744e4 100644 --- a/compiler/src/dotty/tools/dotc/typer/Typer.scala +++ b/compiler/src/dotty/tools/dotc/typer/Typer.scala @@ -1229,6 +1229,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit completeAnnotations(ddef, sym) val tparams1 = tparams mapconserve (typed(_).asInstanceOf[TypeDef]) val vparamss1 = vparamss nestedMapconserve (typed(_).asInstanceOf[ValDef]) + vparamss1.foreach(checkNoForwardDependencies) if (sym is Implicit) checkImplicitParamsNotSingletons(vparamss1) var tpt1 = checkSimpleKinded(typedType(tpt)) |