Add TODOs and fix typos

Author: nicolasstucki

compiler/src/dotty/tools/dotc/ast/Trees.scala

@@ -682,7 +682,7 @@ object Trees {
    *  they can be typed as a `Quote` with a known `tpt` or desugared and
    *  typed as a quote pattern.
    *
-   *  `Quotes` are checked transformed in the `staging`, `splicing` and `pickleQuotes`
+   *  `Quotes` are checked and transformed in the `staging`, `splicing` and `pickleQuotes`
    *  phases. After `pickleQuotes` phase, the only quotes that exist are in `inline`
    *  methods. These are dropped when we remove the inline method implementations.
    *
@@ -703,8 +703,8 @@ object Trees {
    *  they can be typed as a `Splice` with a known `tpt` or desugared and
    *  typed as a quote pattern holes.
    *
-   *  `Splice` are checked transformed in the `staging` and `splicing` phases.
-   *  After `splicing` phase, the only quotes that exist are in `inline`
+   *  `Splice` are checked and transformed in the `staging` and `splicing` phases.
+   *  After `splicing` phase, the only splices that exist are in `inline`
    *  methods. These are dropped when we remove the inline method implementations.
    *
    *  The `tpt` will be transformed in `staging` and used in `splicing` to create `Hole`s.

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

@@ -59,6 +59,7 @@ trait QuotesAndSplices {
       report.error(msg, tree.srcPos)
       EmptyTree
     else
+      // TODO typecheck directly (without `exprQuote`)
       val exprQuoteTree = untpd.Apply(untpd.ref(defn.QuotedRuntime_exprQuote.termRef), tree.expr)
       val quotedExpr = typedApply(exprQuoteTree, pt)(using quoteContext) match
         case Apply(TypeApply(fn, tpt :: Nil), quotedExpr :: Nil) => Quote(quotedExpr, tpt)
@@ -106,9 +107,9 @@ trait QuotesAndSplices {
         markAsMacro(ctx)
       }
 
+      // TODO typecheck directly (without `exprSplice`)
       val internalSplice =
         untpd.Apply(untpd.ref(defn.QuotedRuntime_exprSplice.termRef), tree.expr)
-
       typedApply(internalSplice, pt)(using spliceContext).withSpan(tree.span) match
         case tree @ Apply(TypeApply(_, tpt :: Nil), spliced :: Nil) if tree.symbol == defn.QuotedRuntime_exprSplice =>
           cpy.Splice(tree)(spliced, tpt)