Add tests

Author: noti0na1

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

@@ -4938,8 +4938,6 @@ object Types {
     }
 
     def & (that: TypeBounds)(using Context): TypeBounds =
-      // if ((that.lo frozen_<:< this.lo) && (this.hi frozen_<:< that.hi)) this
-      // else if ((this.lo frozen_<:< that.lo) && (that.hi frozen_<:< this.hi)) that
       if ((this.lo frozen_<:< that.lo) && (that.hi frozen_<:< this.hi)) that
       else if ((that.lo frozen_<:< this.lo) && (this.hi frozen_<:< that.hi)) this
       else TypeBounds(this.lo | that.lo, this.hi & that.hi)

tests/explicit-nulls/pos/i13040/Impl.scala

@@ -0,0 +1,5 @@
+class Impl extends Intf:
+  override def test(x: Object | Null*): Unit = ???
+
+class Impl2 extends Intf:
+  override def test(x: Object*): Unit = ???

tests/explicit-nulls/pos/i13040/Intf.java

@@ -0,0 +1,3 @@
+interface Intf {
+    void test(Object... x);
+}

tests/explicit-nulls/pos/i13486.scala

@@ -0,0 +1,7 @@
+class MyPrintStream extends java.io.PrintStream(??? : java.io.OutputStream):
+  override def printf(format: String | Null, args: Array[? <: Object | Null])
+  : java.io.PrintStream | Null = ???
+
+class MyPrintStream2 extends java.io.PrintStream(??? : java.io.OutputStream):
+  override def printf(format: String, args: Array[? <: Object])
+  : java.io.PrintStream = ???

tests/explicit-nulls/pos/i13608.scala

@@ -0,0 +1,3 @@
+import scala.util.control.NoStackTrace
+
+case class ParseException(line: Int, character: Int, message: String) extends NoStackTrace