Report errors instead of crash

Author: liufengyun

compiler/src/dotty/tools/dotc/transform/init/CycleChecker.scala

@@ -246,8 +246,8 @@ class CycleChecker(cache: Cache) {
       val pot = Hot(dep.cls)(dep.source)
       val effs = pot.potentialsOf(dep.symbol)(using env).promote(dep.source)
 
-      val errs = effs.flatMap(Checking.check(_)(using state))
-      assert(errs.isEmpty, "unexpected errors: " + Errors.show(errs.toList))
+      val errs = effs.flatMap(Checking.check(_)(using state)).filter(!_.isInstanceOf[CallUnknown])
+      errs.foreach(_.issue)
 
       val deps = state.dependencies.toList
       proxyCache(dep.symbol) = deps
@@ -364,7 +364,7 @@ class CycleChecker(cache: Cache) {
     val effs = pot.effectsOf(dep.symbol)(using env)
 
     val errs = effs.flatMap(Checking.check(_)(using state))
-    assert(errs.isEmpty, "unexpected errors: " + Errors.show(errs.toList) + " while analyzing " + dep.show)
+    errs.foreach(_.issue)
 
     state.dependencies.toList
   }

compiler/src/dotty/tools/dotc/transform/init/Errors.scala

@@ -116,7 +116,7 @@ object Errors {
 
   case class CallUnknown(meth: Symbol, source: Tree, trace: Seq[Tree]) extends Error {
     def show(using Context): String =
-      "Calling the external method " + meth.show + " may cause initialization errors" + "."
+      "Unable to analyze external " + meth.show + "."
   }
 
   /** Promote a value under initialization to fully-initialized */