1 files changed, 7 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Infer.scala b/src/compiler/scala/tools/nsc/typechecker/Infer.scala
index c6e069bf01..a936353546 100644
--- a/src/compiler/scala/tools/nsc/typechecker/Infer.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/Infer.scala
@@ -1247,6 +1247,13 @@ trait Infer {
         sym.isAbstractType && sym.owner.isTerm
     }
 
+    /** A traverser to collect type parameters referred to in a type
+     */
+    object freeTypeParametersNoSkolems extends SymCollector {
+      protected def includeCondition(sym: Symbol): Boolean =
+        sym.isTypeParameter && sym.owner.isTerm
+    }
+
     object typeRefs extends SymCollector {
       protected def includeCondition(sym: Symbol): Boolean = true
     }