tuned --- fewer warnings;
authorwenzelm
Mon, 01 Mar 2021 20:12:09 +0100
changeset 73589 9efdebe24c65
parent 73588 5c0e23d73cea
child 73590 0ffcad1f6130
tuned --- fewer warnings;
src/Pure/library.scala
--- a/src/Pure/library.scala	Mon Mar 01 20:04:33 2021 +0100
+++ b/src/Pure/library.scala	Mon Mar 01 20:12:09 2021 +0100
@@ -285,6 +285,7 @@
 
   def is_subclass[A, B](a: Class[A], b: Class[B]): Boolean =
   {
+    import scala.language.existentials
     @tailrec def subclass(c: Class[_]): Boolean =
     {
       c == b ||