Code

Change/drop not null#277

Code

Merged

odersky merged 3 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:change/drop-not-nulldotty-staging/dotty:change/drop-not-nullCopy head branch name to clipboard

Dec 13, 2014

Commits

Commits on Dec 13, 2014

• Fix subtyping of null and refined types.

  odersky

  committed
  179b9cc

  Copy full SHA for 179b9cc

• Drop NotNull class and associated code.

  odersky

  committed
  a4c11eb

  Copy full SHA for a4c11eb

• Remove obsolete mentions of the NotNull class

  smarter

  committed
  35ba97c

  Copy full SHA for 35ba97c