Skip to content

Commit abc35b7

Browse files
committed
doc(explicit-nulls): typos
1 parent a67e43c commit abc35b7

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

docs/docs/reference/other-new-features/explicit-nulls.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ Read on for details.
2323

2424
## New Type Hierarchy
2525

26-
When explicit nulls are enabled, the type hierarchy changes so that `Null` is subtype only of
26+
When explicit nulls are enabled, the type hierarchy changes so that `Null` is only a subtype of
2727
`Any`, as opposed to every reference type.
2828

2929
This is the new type hierarchy:
@@ -33,7 +33,7 @@ After erasure, `Null` remains a subtype of all reference types (as forced by the
3333

3434
## Unsoundness
3535

36-
The new type system is unsound with respect to `null`. This means there are still instances where an expressions has a non-nullable type like `String`, but its value is `null`.
36+
The new type system is unsound with respect to `null`. This means there are still instances where an expression has a non-nullable type like `String`, but its value is actually `null`.
3737

3838
The unsoundness happens because uninitialized fields in a class start out as `null`:
3939
```scala

0 commit comments

Comments
 (0)