Improve inliner constant detection

Author: nicolasstucki

compiler/src/dotty/tools/dotc/typer/Inliner.scala

@@ -1473,10 +1473,15 @@ class Inliner(call: tpd.Tree, rhsToInline: tpd.Tree)(using Context) {
     }.apply(Nil, tree)
 
   object ConstantValue {
-    def unapply(tree: Tree)(using Context): Option[Any] = tree.tpe.widenTermRefExpr.normalized match {
-      case ConstantType(Constant(x)) => Some(x)
-      case _ => None
-    }
+    def unapply(tree: Tree)(using Context): Option[Any] =
+      tree match
+        case Typed(expr, _) => unapply(expr)
+        case Inlined(_, Nil, expr) => unapply(expr)
+        case Block(Nil, expr) => unapply(expr)
+        case _ =>
+          tree.tpe.widenTermRefExpr.normalized match
+            case ConstantType(Constant(x)) => Some(x)
+            case _ => None
   }
 
 }

tests/pos-macros/i10107b/Macro_1.scala

@@ -0,0 +1,13 @@
+import scala.quoted._
+
+inline def isTrue: Boolean = ${ isTrueImpl }
+def isTrueImpl(using qctx: QuoteContext) = {
+  Expr(true)
+}
+
+inline def oneOf(): String = {
+  inline if isTrue then
+    "foo"
+  else
+    "bar"
+}

tests/pos-macros/i10107b/Test_2.scala

@@ -0,0 +1 @@
+def test1 = oneOf()

tests/pos/i10107.scala

@@ -0,0 +1,4 @@
+inline def f() =
+  inline if true: Boolean then () else ()
+
+def test = f()