Disable implicit conversions between from `Null` and `Nothing`.

This is necessary to reject code like

     val x: Boolean = null

Without the restriction, this code would typecheck and expand to

     val x: Boolean = Predef.Boolean2boolean(null)

since `null` counts as a value of type `java.kang.Boolean`.

1 files changed, 6 insertions, 0 deletions

diff --git a/tests/neg/i0281-null-primitive-conforms.scala b/tests/neg/i0281-null-primitive-conforms.scala
new file mode 100644
index 000000000..469e72324
--- /dev/null
+++ b/tests/neg/i0281-null-primitive-conforms.scala
@@ -0,0 +1,6 @@
+object test {
+  val b: scala.Boolean = null
+  val c: Unit = null
+  val d: Float = null
+  val e: AnyVal = null
+}