Fix explicit nulls in community build

noti0na1 · noti0na1 · commit de1af915a1e9 · 2020-10-06T14:47:30.000-04:00
diff --git a/community-build/community-projects/scodec b/community-build/community-projects/scodec
@@ -1 +1 @@
-Subproject commit e04ba7c17f848a57425a7e0342c00c0314c9559d
+Subproject commit 70cdf8a7971ca5d83809dcdff9dd01f9d28885d1
diff --git a/community-build/community-projects/shapeless b/community-build/community-projects/shapeless
@@ -1 +1 @@
-Subproject commit b4c2d61ac785720c8ea33eda51104af15fb007d8
+Subproject commit 2b3d37c31a3fd3ae98f3b04073987b9fb3b3961c
diff --git a/compiler/src/dotty/tools/dotc/core/NullOpsDecorator.scala b/compiler/src/dotty/tools/dotc/core/NullOpsDecorator.scala
@@ -64,7 +64,7 @@ object NullOpsDecorator {
       stripped ne self
     }
 
-    /** Can the type have null value after erasure?
+    /** Can the type has null value after erasure?
      */
     def isNullableAfterErasure(using Context): Boolean =  self match {
       case tp: ClassInfo => tp.cls.isNullableClassAfterErasure
diff --git a/tests/explicit-nulls/pos/option-transform.scala b/tests/explicit-nulls/pos/option-transform.scala
@@ -4,7 +4,7 @@ class OptionTransform {
    *
    *  @return   Some(value) if value != null, None if value == null
    */
-  def[T <: AnyRef] (x: T | Null) toOption: Option[T] =
+  extension[T <: AnyRef](x: T | Null) def toOption: Option[T] =
     if x == null then None else Some(x)
 
   def test = {
diff --git a/tests/explicit-nulls/unsafe-common/unsafe-extensions.scala b/tests/explicit-nulls/unsafe-common/unsafe-extensions.scala
@@ -1,5 +1,5 @@
 class Extensions {
-  def (s: String).ext(ss: String): String = s + ss
+  extension(s: String) def ext(ss: String): String = s + ss
 
   def f = {
     val x: String | Null = ???

Original file line number	Diff line number	Diff line change
`@@ -64,7 +64,7 @@ object NullOpsDecorator {`
`64`	`64`	`stripped ne self`
`65`	`65`	`}`
`66`	`66`
`67`		`- /** Can the type have null value after erasure?`
	`67`	`+ /** Can the type has null value after erasure?`
`68`	`68`	`*/`
`69`	`69`	`def isNullableAfterErasure(using Context): Boolean = self match {`
`70`	`70`	`case tp: ClassInfo => tp.cls.isNullableClassAfterErasure`
Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@ class OptionTransform {`
`4`	`4`	`*`
`5`	`5`	`* @return Some(value) if value != null, None if value == null`
`6`	`6`	`*/`
`7`		`- def[T <: AnyRef] (x: T \| Null) toOption: Option[T] =`
	`7`	`+ extension[T <: AnyRef](x: T \| Null) def toOption: Option[T] =`
`8`	`8`	`if x == null then None else Some(x)`
`9`	`9`
`10`	`10`	`def test = {`