diff options
author | Martin Odersky <odersky@gmail.com> | 2017-03-17 15:08:59 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-04-06 13:15:28 +0200 |
commit | 5fe6f54de36224974bdd3a9169f899f6df25971e (patch) | |
tree | af7d433304a4b35c38f1c2cccecee240353ffadc /compiler/src/dotty/tools/dotc/transform/TreeChecker.scala | |
parent | 700e7ac6658a1d699502c94141091012d18519c4 (diff) | |
download | dotty-5fe6f54de36224974bdd3a9169f899f6df25971e.tar.gz dotty-5fe6f54de36224974bdd3a9169f899f6df25971e.tar.bz2 dotty-5fe6f54de36224974bdd3a9169f899f6df25971e.zip |
Eliminate ParamType
Replace with ParamRef
Diffstat (limited to 'compiler/src/dotty/tools/dotc/transform/TreeChecker.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/transform/TreeChecker.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/transform/TreeChecker.scala b/compiler/src/dotty/tools/dotc/transform/TreeChecker.scala index dde037938..ebb5b605b 100644 --- a/compiler/src/dotty/tools/dotc/transform/TreeChecker.scala +++ b/compiler/src/dotty/tools/dotc/transform/TreeChecker.scala @@ -296,7 +296,7 @@ class TreeChecker extends Phase with SymTransformer { definedBinders += tp mapOver(tp) definedBinders -= tp - case tp: ParamType => + case tp: ParamRef => assert(definedBinders.contains(tp.binder), s"orphan param: $tp") case tp: TypeVar => apply(tp.underlying) |