Relax flow typing check on Flexible Types

Author: HarrisL2

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

@@ -47,7 +47,7 @@ object NullOpsDecorator:
 
     /** Is self (after widening and dealiasing) a type of the form `T | Null`? */
     def isNullableUnion(using Context): Boolean = {
-      val stripped = self.stripNull()
+      val stripped = self.stripNull(stripFlexibleTypes = false)
       stripped ne self
     }
   end extension

tests/explicit-nulls/pos/flow-flexible.scala

@@ -0,0 +1,9 @@
+// This test is based on sconfig/sconfig/shared/src/main/scala/org/ekrich/config/impl/SimpleConfig.scala
+// In cases where a nullable variable is assigned a flexible type, we want
+// later code to type the variable access as non-nullable
+// Added in https://github.com/scala/scala3/pull/24278
+
+def main() =
+  var result: String | Null = null
+  result = "".trim()
+  result.trim()