Propagate notNullinfo in ReTyper

the case of `typedTyped` was missing. This allows to use a plain inline
`assert` in DottyPredef.

Author: odersky

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

@@ -12,6 +12,7 @@ import ast.{tpd, untpd, Trees}
 import Trees._
 import scala.util.control.NonFatal
 import util.Spans.Span
+import Nullables._
 
 /** A version of Typer that keeps all symbols defined and referenced in a
  *  previously typed tree.
@@ -53,13 +54,15 @@ class ReTyper extends Typer with ReChecking {
 
   override def typedTyped(tree: untpd.Typed, pt: Type)(using Context): Tree = {
     assertTyped(tree)
+
     val tpt1 = checkSimpleKinded(typedType(tree.tpt))
     val expr1 = tree.expr match {
       case id: untpd.Ident if (ctx.mode is Mode.Pattern) && untpd.isVarPattern(id) && (id.name == nme.WILDCARD || id.name == nme.WILDCARD_STAR) =>
         tree.expr.withType(tpt1.tpe)
       case _ => typed(tree.expr)
     }
-    untpd.cpy.Typed(tree)(expr1, tpt1).withType(tree.typeOpt)
+    val result = untpd.cpy.Typed(tree)(expr1, tpt1).withType(tree.typeOpt)
+    if ctx.mode.isExpr then result.withNotNullInfo(expr1.notNullInfo) else result
   }
 
   override def typedTypeTree(tree: untpd.TypeTree, pt: Type)(using Context): TypeTree =

library/src/dotty/DottyPredef.scala

@@ -3,15 +3,11 @@ package dotty
 object DottyPredef {
   import compiletime.summonFrom
 
-  inline final def assert(inline assertion: Boolean, inline message: => Any): Unit = {
-    if (!assertion)
-      scala.runtime.Scala3RunTime.assertFailed(message)
-  }
+  inline def assert(inline assertion: Boolean, inline message: => Any): Unit =
+    if !assertion then scala.runtime.Scala3RunTime.assertFailed(message)
 
-  transparent inline final def assert(inline assertion: Boolean): Unit = {
-    if (!assertion)
-      scala.runtime.Scala3RunTime.assertFailed()
-  }
+  inline def assert(inline assertion: Boolean): Unit =
+    if !assertion then scala.runtime.Scala3RunTime.assertFailed()
 
   /**
    * Retrieve the single value of a type with a unique inhabitant.