Remove some assertion

Author: noti0na1

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -4826,7 +4826,7 @@ object Types {
           if (constraint.entry(tp).exists) TypeComparer.fullBounds(tp)
           else NoType
         case tp: TypeRef =>
-          val bounds: TypeBounds | Null = ctx.gadt.fullBounds(tp.symbol)
+          val bounds = ctx.gadt.fullBounds(tp.symbol)
           if (bounds == null) NoType else bounds
         case tp: TypeVar =>
           tp.underlying

compiler/src/dotty/tools/dotc/transform/PatternMatcher.scala

@@ -12,7 +12,6 @@ import SymUtils._
 import Flags._, Constants._
 import Decorators._
 import NameKinds.{PatMatStdBinderName, PatMatAltsName, PatMatResultName}
-import typer.Nullables
 import config.Printers.patmatch
 import reporting._
 import dotty.tools.dotc.ast._

compiler/src/dotty/tools/dotc/typer/Implicits.scala

@@ -267,8 +267,6 @@ object Implicits:
    *  @param companionRefs   the companion objects in the implicit scope.
    */
   class OfTypeImplicits(tp: Type, override val companionRefs: TermRefSet)(initctx: Context) extends ImplicitRefs(initctx) {
-    // TODO: why do we need this assert?
-    assert((initctx.typer: Typer | Null) != null)
     implicits.println(i"implicit scope of type $tp = ${companionRefs.showAsList}%, %")
     @threadUnsafe lazy val refs: List[ImplicitRef] = {
       val buf = new mutable.ListBuffer[TermRef]

project/Build.scala

@@ -710,7 +710,7 @@ object Build {
           IO.unzip(scalaJSIRSourcesJar, trgDir)
 
           val sjsSources = (trgDir ** "*.scala").get.toSet
-    sjsSources.foreach(f => {
+          sjsSources.foreach(f => {
             val lines = IO.readLines(f)
             IO.writeLines(f, insertUnsafeNullsImport(lines))
           })