Change excludelist

Author: HarrisL2

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

@@ -156,6 +156,10 @@ object ImplicitNullInterop {
       // In all other cases, return the type unchanged.
       // In particular, if the type is a ConstantType, then we don't nullify it because it is the
       // type of a final non-nullable field.
+      case tp: ExprType => mapOver(tp)
+      case tp: AnnotatedType => mapOver(tp)
+      case tp: OrType => mapOver(tp)
+      case tp: MatchType => mapOver(tp)
       case _ => tp
     }
   }

compiler/test/dotc/neg-explicit-nulls-scala2-library-tasty.excludelist

@@ -5,7 +5,6 @@ nn-basic.scala                        # .length flexified but trim rejected
 i21380c.scala                         # .length flexified but replaceAll rejected
 unsafe-scope.scala                    # .length flexified
 i17467.scala                          # Singleton type flexified
-i7883.scala                           # Unsure
 from-nullable.scala                   # Option argument flexified
 flow-in-block.scala                   # .length flexified
 array.scala                           # Type arugment of Array flexified

tests/explicit-nulls/flexible-unpickle/Flexible_2.scala

@@ -35,4 +35,6 @@ def Flexible_2() =
   val unsafe = new Unsafe_1()
   val s: String = unsafe.foo(s2)
   unsafe.foo("")
-  unsafe.foo(null)
+  unsafe.foo(null)
+
+  val refinement = new Unsafe_1 {val b: String}

tests/explicit-nulls/flexible-unpickle/Unsafe_1.scala

@@ -18,4 +18,9 @@ class Unsafe_1 {
 object Foo {
   def bar = "bar!"
   def id[T](t: T): T = t
+
+}
+
+class Constructors {
+
 }