- use asInstanceOf$erased when possible (i.e.

2 files changed, 3 insertions, 3 deletions

diff --git a/sources/scala/List.scala b/sources/scala/List.scala
index e4a109852d..0de3ba50b2 100644
--- a/sources/scala/List.scala
+++ b/sources/scala/List.scala
@@ -22,7 +22,7 @@ object List {
    *  @param xs the elements to put in the list
    *  @return the list containing elements xs.
    */
-  def apply[A](xs: A*): List[A] = xs.asInstanceOf[List[A]];
+  def apply[A](xs: A*): List[A] = xs.asInstanceOf$erased[List[A]];
 
   /** Create a sorted list of all integers in a range.
    *
diff --git a/sources/scala/runtime/ScalaRunTime.scala b/sources/scala/runtime/ScalaRunTime.scala
index b2920999e6..a9fc226ea3 100644
--- a/sources/scala/runtime/ScalaRunTime.scala
+++ b/sources/scala/runtime/ScalaRunTime.scala
@@ -25,7 +25,7 @@ object ScalaRunTime {
 
     def Catch[b >: a](handler: PartialFunction[Throwable, b]): b =
       if (exception == null)
-	result.asInstanceOf[b]
+	result.asInstanceOf$erased[b]
       // !!! else if (exception is LocalReturn)
       // !!!   // ...
       else if (handler isDefinedAt exception)
@@ -35,7 +35,7 @@ object ScalaRunTime {
 
     def Finally(handler: Unit): a =
       if (exception == null)
-        result.asInstanceOf[a]
+        result.asInstanceOf$erased[a]
       else
         throw exception;
   }