Add test for select

Author: noti0na1

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

@@ -162,7 +162,7 @@ trait TypeAssigner {
     val qualType = qual.tpe.widenIfUnstable
     def kind = if tree.isType then "type" else "value"
     val foundWithoutNull = qualType match
-      case OrNull(qualType1) =>
+      case OrNull(qualType1) if qualType1 <:< defn.ObjectType =>
         val name = tree.name
         val pre = maybeSkolemizePrefix(qualType1, name)
         reallyExists(qualType1.findMember(name, pre))

tests/explicit-nulls/neg/AnyValOrNullSelect.scala

@@ -0,0 +1,13 @@
+case class MyVal(i: Int) extends AnyVal:
+  def printVal: Unit =
+    println(i)
+
+class Test:
+  val v: MyVal | Null = MyVal(1)
+
+  def f1 =
+    v.printVal // error: value printVal is not a member of MyVal | Null
+
+  def f1 =
+    import scala.language.unsafeNulls
+    v.printVal // error: value printVal is not a member of MyVal | Null

tests/explicit-nulls/pos/AnyValOrNull.scala

@@ -8,7 +8,7 @@ def test2 =
   if v != null then
     println(v)
 
-case class MyVal(val i: Boolean) extends AnyVal
+case class MyVal(i: Boolean) extends AnyVal
 
 def test3 =
   val v: MyVal | Null = MyVal(false)