File tree Expand file tree Collapse file tree 2 files changed +1
-6
lines changed Expand file tree Collapse file tree 2 files changed +1
-6
lines changed Original file line number Diff line number Diff line change @@ -835,8 +835,7 @@ transitive relation that satisfies the following conditions.
835
835
- For every type constructor $T$ (with any number of type parameters),
836
836
` scala.Nothing <: $T$ <: scala.Any ` .
837
837
838
- - For every class type $T$ such that ` $T$ <: scala.AnyRef ` and not
839
- ` $T$ <: scala.NotNull ` one has ` scala.Null <: $T$ ` .
838
+ - For every class type $T$ such that ` $T$ <: scala.AnyRef ` one has ` scala.Null <: $T$ ` .
840
839
- A type variable or abstract type $t$ conforms to its upper bound and
841
840
its lower bound conforms to $t$.
842
841
- A class type or parameterized type conforms to any of its base-types.
Original file line number Diff line number Diff line change @@ -148,10 +148,6 @@ The selection $e.x$ is evaluated by first evaluating the qualifier
148
148
expression $e$, which yields an object $r$, say. The selection's
149
149
result is then the member of $r$ that is either defined by $m$ or defined
150
150
by a definition overriding $m$.
151
- If that member has a type which
152
- conforms to ` scala.NotNull ` , the member's value must be initialized
153
- to a value different from ` null ` , otherwise a ` scala.UnitializedError `
154
- is thrown.
155
151
156
152
## This and Super
157
153
You can’t perform that action at this time.
0 commit comments