diff options
| author | Martin Odersky <odersky@gmail.com> | 2012-02-06 14:26:05 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2012-02-06 14:26:05 +0100 |
| commit | 01494243503b1597f0d5597c6c4414a42473c064 (patch) | |
| tree | 7059836cc7b337d0241aceef7852250a1fbf877d /META-INF | |
| parent | 1adae9b13a9bfa184c31f9249fa245a389a83009 (diff) | |
| download | scala-01494243503b1597f0d5597c6c4414a42473c064.tar.gz scala-01494243503b1597f0d5597c6c4414a42473c064.tar.bz2 scala-01494243503b1597f0d5597c6c4414a42473c064.zip | |
Different treatment of Null <:< T, to allow for Any-extending traits. Without the change,
val x: List[String] with Ordered[String] = null
would be illegal. The change is reflected in my local copy of the spec. Where it now says in the section of conformance:
\item For every non-bottom class type $T$, $\mbox{\code{scala.Null}} \conforms T$, unless
$T \conforms \mbox{\code{scala.AnyVal}}$ or
$T \conforms \mbox{\code{scala.NotNull}}$.
Diffstat (limited to 'META-INF')
0 files changed, 0 insertions, 0 deletions