Merge pull request #1687 from scalamacros/topic/unchecked-pattern-match

fixes the unchecked warning in quick.comp
scala · Dec 20, 2012 · 15fa9a7 · 15fa9a7
2 parents 9ddb4cf + 3a6f3ae
commit 15fa9a7
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/compiler/scala/tools/nsc/interpreter/TypeStrings.scala b/src/compiler/scala/tools/nsc/interpreter/TypeStrings.scala
@@ -212,7 +212,11 @@ trait TypeStrings {
   }
 
   private def tparamString[T: ru.TypeTag] : String = {
-    def typeArguments: List[ru.Type] = ru.typeOf[T] match { case ru.TypeRef(_, _, args) => args; case _ => Nil }
+    def typeArguments: List[ru.Type] = {
+      import ru.TypeRefTag // otherwise the pattern match will be unchecked
+                           // because TypeRef is an abstract type
+      ru.typeOf[T] match { case ru.TypeRef(_, _, args) => args; case _ => Nil }
+    }
     // [Eugene to Paul] need to use not the `rootMirror`, but a mirror with the REPL's classloader
     // how do I get to it? acquiring context classloader seems unreliable because of multithreading
     def typeVariables: List[java.lang.Class[_]] = typeArguments map (targ => ru.rootMirror.runtimeClass(targ))