Allow Quote and If

Author: mbovel

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

@@ -1433,30 +1433,34 @@ trait Checking {
         tree match
           case _ if tree.isType =>
             super.transform(tree)
-          case _: ( Literal
-                  | Ident
-                  | This
-                  | New
+          case _: ( Ident
                   | 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(
               EmptyTree,
               em"""Implementation restriction: this tree cannot be used in an annotation.
-                  |Tree: ${tree}
+                  |Tree: ${tree.toString()}
                   |Type: ${tree.tpe}""",
               tree.srcPos
             )