scala · odersky · Apr 9, 2022 · Apr 8, 2022 · Apr 9, 2022
diff --git a/docs/_assets/images/explicit-nulls/explicit-nulls-type-hierarchy.png b/docs/_assets/images/explicit-nulls/explicit-nulls-type-hierarchy.png
diff --git a/docs/_assets/images/explicit-nulls/scalaHierarchyWithMatchable.pdf b/docs/_assets/images/explicit-nulls/scalaHierarchyWithMatchable.pdf
diff --git a/docs/_assets/images/explicit-nulls/scalaHierarchyWithMatchable.png b/docs/_assets/images/explicit-nulls/scalaHierarchyWithMatchable.png
diff --git a/docs/_assets/images/explicit-nulls/scalaHierarchyWithMatchableAndSafeNull.pdf b/docs/_assets/images/explicit-nulls/scalaHierarchyWithMatchableAndSafeNull.pdf
diff --git a/docs/_assets/images/explicit-nulls/scalaHierarchyWithMatchableAndSafeNull.png b/docs/_assets/images/explicit-nulls/scalaHierarchyWithMatchableAndSafeNull.png
diff --git a/docs/_docs/reference/experimental/explicit-nulls.md b/docs/_docs/reference/experimental/explicit-nulls.md
@@ -31,12 +31,17 @@ Read on for details.
 
 ## New Type Hierarchy
 
-When explicit nulls are enabled, the type hierarchy changes so that `Null` is only a subtype of
-`Any`, as opposed to every reference type, which means `null` is no longer a value of `AnyRef` and its subtypes.
+Originally, `Null` is a subtype of all reference types.
+
+!["Original Type Hierarchy"](images/explicit-nulls/scalaHierarchyWithMatchable.png)
+
+When explicit nulls is enabled, the type hierarchy changes so that `Null` is only
+a subtype of `Any` and `Matchable`, as opposed to every reference type,
+which means `null` is no longer a value of `AnyRef` and its subtypes.
 
 This is the new type hierarchy:
 
-!["Type Hierarchy for Explicit Nulls"](images/explicit-nulls/explicit-nulls-type-hierarchy.png)
+!["Type Hierarchy for Explicit Nulls"](images/explicit-nulls/scalaHierarchyWithMatchableAndSafeNull.png)
 
 After erasure, `Null` remains a subtype of all reference types (as forced by the JVM).