Expr(null:String).show in macro throws NullPointerException

[Alexey-NM]

Compiler version

3.6.4

Minimized code

Macro:

import scala.quoted.*

object ExprStringBugMacro {

  def buildStringCode(using Quotes): Expr[String] = {
    import quotes.reflect.*
    val str: String = null
    val exprString = Expr(str)
    //It throws NullPointerException
    println("Macro string: " + exprString.show)
    exprString
  }
}

Test:

import munit.FunSuite

class ExprStringBugTest extends munit.FunSuite {

  test("NullPoinreException") {
    buildString
  }

  implicit inline def buildString[T]: Unit = ${
    ExprStringBugMacro.buildStringCode
  }
}import scala.quoted.*

object ExprStringBugMacro {

  def buildStringCode(using Quotes): Expr[String] = {
    import quotes.reflect.*
    //Test value
    val str: String = null
    val exprString = Expr(str)
    println("Macro string: " + exprString.show)
    exprString
  }
}

Output

Expectation

Absence of the exception

Description

stringValue

def stringValue: String = value.toString

just does not expect null.

It requres to implement a custom string converter to generate exp from java types.

[mbovel]

This issue was picked for the Scala Issue Spree of today, Monday, April 28th! @hamzaremmal, @mbovel, @HarrisL2 and @ajafri2001 will be working on it.