From 5fe6f54de36224974bdd3a9169f899f6df25971e Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Fri, 17 Mar 2017 15:08:59 +0100
Subject: Eliminate ParamType

Replace with ParamRef
---
 compiler/src/dotty/tools/dotc/transform/TreeChecker.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/src/dotty/tools/dotc/transform')

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)
-- 
cgit v1.2.3