scala
diff --git a/‎src/dotty/DottyPredef.scala
+3-3 b/‎src/dotty/DottyPredef.scala
+3-3
diff --git a/‎tests/disabled/pos/i530-import-symbolic.scala renamed to ‎tests/pos/i530-import-symbolic.scala b/‎tests/disabled/pos/i530-import-symbolic.scala renamed to ‎tests/pos/i530-import-symbolic.scala
diff --git a/‎tests/pending/run/is-valid-num.scala renamed to ‎tests/run/is-valid-num.scala b/‎tests/pending/run/is-valid-num.scala renamed to ‎tests/run/is-valid-num.scala
diff --git a/‎tests/pending/run/t920.scala renamed to ‎tests/run/t920.scala b/‎tests/pending/run/t920.scala renamed to ‎tests/run/t920.scala
diff --git a/‎tests/pending/run/tuple-zipped.scala renamed to ‎tests/run/tuple-zipped.scala b/‎tests/pending/run/tuple-zipped.scala renamed to ‎tests/run/tuple-zipped.scala
diff --git a/‎tests/pending/run/vector1.check renamed to ‎tests/run/vector1.check b/‎tests/pending/run/vector1.check renamed to ‎tests/run/vector1.check
diff --git a/‎tests/pending/run/vector1.scala renamed to ‎tests/run/vector1.scala b/‎tests/pending/run/vector1.scala renamed to ‎tests/run/vector1.scala
@@ -2,11 +2,11 @@ package dotty
 
 import scala.reflect.ClassTag
 import scala.reflect.runtime.universe.TypeTag
-import scala.Predef.???  // this is currently ineffective, because of #530
+import scala.Predef.???
 
 abstract class I1 {
-  implicit def classTag[T]: ClassTag[T] = scala.Predef.???
-  implicit def typeTag[T]: TypeTag[T] = scala.Predef.???
+  implicit def classTag[T]: ClassTag[T] = ???
+  implicit def typeTag[T]: TypeTag[T] = ???
   implicit val DoubleClassTag: ClassTag[Double]   = ClassTag.Double
 }
 abstract class I2 extends I1 {