Fix bug in hasTransparentBody

Author: nicolasstucki

compiler/src/dotty/tools/dotc/transform/Inlining.scala

@@ -36,7 +36,8 @@ class Inlining extends MacroTransform {
   override def allowsImplicitSearch: Boolean = true
 
   override def run(using Context): Unit =
-    if (ctx.settings.YinlineBlackboxAfterTyper.value) super.run
+    // if (ctx.settings.YinlineBlackboxAfterTyper.value)
+      super.run
 
   override def checkPostCondition(tree: Tree)(using Context): Unit =
     tree match {
@@ -51,11 +52,11 @@ class Inlining extends MacroTransform {
         case tree: DefTree =>
           if tree.symbol.is(Inline) then tree
           else super.transform(tree)
-        case _: Typed =>
+        case _: Typed | _: Block =>
           super.transform(tree)
-        case _ if Inliner.isInlineable(tree) && !Inliner.inInlineMethod =>
+        case _ if Inliner.isInlineable(tree) =>
           val inlined = Inliner.inlineCall(tree)
-          super.transform(inlined)
+          transform(inlined)
         case _ =>
           super.transform(tree)
 

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

@@ -63,7 +63,7 @@ object Inliner {
 
   /** `sym` is an inline method with a known body to inline which looks like a tansparent inline */
   def hasTransparentBody(sym: SymDenotation)(using Context): Boolean =
-    !bodyToInline(sym).isInstanceOf[Typed] // may have false negatives
+    sym.exists && !bodyToInline(sym).isInstanceOf[Typed] // may have false negatives
 
   /** Try to inline a call to an inline method. Fail with error if the maximal
    *  inline depth is exceeded.