Allow Quote and If

scala · Nov 22, 2024 · 040ec39 · 040ec39
1 parent 5d668e6
commit 040ec39
Showing 1 changed file with 15 additions and 9 deletions.
diff --git a/compiler/src/dotty/tools/dotc/typer/Checking.scala b/compiler/src/dotty/tools/dotc/typer/Checking.scala
@@ -1433,24 +1433,30 @@ trait Checking {
         tree match
           case _ if tree.isType =>
             super.transform(tree)
-          case _: ( Literal
+          case _: ( EmptyTree.type
                   | Ident
-                  | This
-                  | New
                   | Select
+                  | This
+                  | Super
                   | Apply
                   | TypeApply
-                  | SeqLiteral
+                  | Literal
+                  | New
                   | Typed
+                  | NamedArg
+                  | Assign
                   | Block
-                  | ValDef
-                  | DefDef
+                  | If
                   | Closure
-                  | NamedArg
-                  | EmptyTree.type
+                  | Return
+                  | SeqLiteral
+                  | Inlined
+                  | Quote
                   | Splice
                   | Hole
-                  | Inlined) =>
+                  | ValDef
+                  | DefDef
+                  | Annotated) =>
             super.transform(tree)
           case _ =>
             errorTree(