diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2015-04-28 16:12:29 +0200 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2015-04-28 16:12:32 +0200 |
commit | 9a397c676d0b1ba3119623cc4332e3ff5c21accf (patch) | |
tree | e6ec584727a862a343b8eb6203f97be94898e8df /spec/03-types.md | |
parent | eeba018f27487e161de93d93c01cb8b2d8132f8f (diff) | |
download | scala-9a397c676d0b1ba3119623cc4332e3ff5c21accf.tar.gz scala-9a397c676d0b1ba3119623cc4332e3ff5c21accf.tar.bz2 scala-9a397c676d0b1ba3119623cc4332e3ff5c21accf.zip |
spec: Remove obsolete rules related to scala.NotNull
These rules were removed in #2244 and scala.NotNull itself was
deprecated.
Diffstat (limited to 'spec/03-types.md')
-rw-r--r-- | spec/03-types.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/spec/03-types.md b/spec/03-types.md index 9741286a5d..94b7916634 100644 --- a/spec/03-types.md +++ b/spec/03-types.md @@ -835,8 +835,7 @@ transitive relation that satisfies the following conditions. - For every type constructor $T$ (with any number of type parameters), `scala.Nothing <: $T$ <: scala.Any`. -- For every class type $T$ such that `$T$ <: scala.AnyRef` and not - `$T$ <: scala.NotNull` one has `scala.Null <: $T$`. +- For every class type $T$ such that `$T$ <: scala.AnyRef` one has `scala.Null <: $T$`. - A type variable or abstract type $t$ conforms to its upper bound and its lower bound conforms to $t$. - A class type or parameterized type conforms to any of its base-types. |