diff options
author | Martin Odersky <odersky@gmail.com> | 2015-02-13 11:45:25 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-03-18 11:11:06 +0100 |
commit | 32892db46e66b26e378f765b45983cdac3dec573 (patch) | |
tree | 63b4f35b1bcb36fd49818ba543ee1bb54ac70ee6 /src/dotty/tools/dotc | |
parent | b1cded37763b0b96b9a8881c2d06f85b4d49884e (diff) | |
download | dotty-32892db46e66b26e378f765b45983cdac3dec573.tar.gz dotty-32892db46e66b26e378f765b45983cdac3dec573.tar.bz2 dotty-32892db46e66b26e378f765b45983cdac3dec573.zip |
Tightening of orphans tests.
Need to always follow TypeVariables, otherwise we will
not detect orphan parameters of uninstantiated type variables.
Diffstat (limited to 'src/dotty/tools/dotc')
-rw-r--r-- | src/dotty/tools/dotc/transform/TreeChecker.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/transform/TreeChecker.scala b/src/dotty/tools/dotc/transform/TreeChecker.scala index ce8f97254..0edf07cf4 100644 --- a/src/dotty/tools/dotc/transform/TreeChecker.scala +++ b/src/dotty/tools/dotc/transform/TreeChecker.scala @@ -199,6 +199,8 @@ class TreeChecker extends Phase with SymTransformer { definedBinders -= tp case tp: ParamType => assert(definedBinders.contains(tp.binder), s"orphan param: $tp") + case tp: TypeVar => + apply(tp.underlying) case _ => mapOver(tp) } |