Merge pull request #413 from scala/backport-lts-3.3-23064

Backport "Forbid `StringConstant(null)`" to 3.3 LTS

Author: tgodzik

compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala

@@ -2419,7 +2419,12 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
     end StringConstantTypeTest
 
     object StringConstant extends StringConstantModule:
-      def apply(x: String): StringConstant = dotc.core.Constants.Constant(x)
+      def apply(x: String): StringConstant =
+        require(x != null, "value of StringConstant cannot be `null`")
+        // A `null` constant must be represented as a `NullConstant`, c.f. a
+        // constant with `tag == NullTag`, which is not a `StringConstant`.
+        // See issue 23008.
+        dotc.core.Constants.Constant(x)
       def unapply(constant: StringConstant): Some[String] = Some(constant.stringValue)
     end StringConstant
 

library/src/scala/quoted/Quotes.scala

@@ -3556,7 +3556,10 @@ trait Quotes { self: runtime.QuoteUnpickler & runtime.QuoteMatching =>
 
     /** Methods of the module object `val StringConstant` */
     trait StringConstantModule { this: StringConstant.type =>
-      /** Create a constant String value */
+      /** Create a constant String value
+       *
+       *  @throw `IllegalArgumentException` if the argument is `null`
+       */
       def apply(x: String): StringConstant
       /** Match String value constant and extract its value */
       def unapply(constant: StringConstant): Some[String]

tests/neg-macros/i23008.check

@@ -0,0 +1,21 @@
+
+-- Error: tests/neg-macros/i23008/Test_2.scala:1:24 --------------------------------------------------------------------
+1 |@main def Test = Macros.buildString // error
+  |                 ^^^^^^^^^^^^^^^^^^
+  |                 Exception occurred while executing macro expansion.
+  |                 java.lang.IllegalArgumentException: requirement failed: value of StringConstant cannot be `null`
+  |                 	at scala.Predef$.require(Predef.scala:337)
+  |                 	at scala.quoted.runtime.impl.QuotesImpl$reflect$StringConstant$.apply(QuotesImpl.scala:2533)
+  |                 	at scala.quoted.runtime.impl.QuotesImpl$reflect$StringConstant$.apply(QuotesImpl.scala:2532)
+  |                 	at scala.quoted.ToExpr$StringToExpr.apply(ToExpr.scala:80)
+  |                 	at scala.quoted.ToExpr$StringToExpr.apply(ToExpr.scala:78)
+  |                 	at scala.quoted.Expr$.apply(Expr.scala:70)
+  |                 	at Macros$.buildStringCode(Macro_1.scala:9)
+  |
+  |---------------------------------------------------------------------------------------------------------------------
+  |Inline stack trace
+  |- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+  |This location contains code that was inlined from Macro_1.scala:4
+4 |  inline def buildString = ${buildStringCode}
+  |                           ^^^^^^^^^^^^^^^^^^
+   ---------------------------------------------------------------------------------------------------------------------

tests/neg-macros/i23008/Macro_1.scala

@@ -0,0 +1,11 @@
+import scala.quoted.*
+
+object Macros {
+  inline def buildString = ${buildStringCode}
+
+  def buildStringCode(using Quotes): Expr[String] = {
+    import quotes.reflect.*
+    val str: String = null
+    Expr(str)
+  }
+}

tests/neg-macros/i23008/Test_2.scala

@@ -0,0 +1 @@
+@main def Test = Macros.buildString // error