Simon Vergauwen (@vergauwensimon.bsky.social)

Make Null a subclass of AnyVal under -Yexplicit-nulls Hello, Currently, under the normal type system, Null is a magical type. It’s not really a class (despite how it’s presented in the doc. It has special rules to make it a subtype of every reference class type. This is illustrated by the following class diagram: Under -Yexplicit-nulls, Null is less magical. In the core type system, it is almost a regular class (with a single instance null), which extends Matchable (and hence Any). There are no special subtyping rules in the core type system f... https://contributors.scala-lang.org/t/make-null-a-subclass-of-anyval-under-yexplicit-nulls/7406