Merge pull request #277 from dotty-staging/change/drop-not-null

Change/drop not null

1 files changed, 19 insertions, 0 deletions

diff --git a/tests/pos/i262-null-subtyping.scala b/tests/pos/i262-null-subtyping.scala
new file mode 100644
index 000000000..284be49e8
--- /dev/null
+++ b/tests/pos/i262-null-subtyping.scala
@@ -0,0 +1,19 @@
+object O {
+  // This compiles
+  val a: { type T } = null;
+  val b: Any { type T } = null;
+
+  // This doesn't:
+  // found   : Null
+  // required: AnyRef{T}
+  val c: AnyRef { type T } = null;
+
+  class A
+  class B
+
+  val d: A & B = null
+  val e: A | B = null
+
+  val f: (A & B) { def toString: String } = null
+  val g: (A | B) { def toString: String } = null
+}