Address review comments

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

@@ -379,7 +379,7 @@ object Erasure {
      *  on selections `e.m`, where `OT` is the type of the owner of `m` and `ET`
      *  is the erased type of the selection's original qualifier expression.
      *
-     *      e.m1 -> e.m2          if `m1` is a member of a class that erases to object and `m2` is
+     *      e.m1 -> e.m2          if `m1` is a member of a class that erases to Object and `m2` is
      *                            the same-named member in Object.
      *      e.m -> box(e).m       if `e` is primitive and `m` is a member or a reference class
      *                            or `e` has an erased value class type.

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

@@ -258,7 +258,7 @@ object PrepareInlineable {
       ctx.error(ex"implementation restriction: nested rewrite methods are not supported", inlined.pos)
     if (inlined.name == nme.unapply && tupleArgs(body).isEmpty)
       ctx.warning(
-        em"rewrite unapply method can be rewritten only if its tight hand side is a tuple (e1, ..., eN)",
+        em"rewrite unapply method can be rewritten only if its right hand side is a tuple (e1, ..., eN)",
         body.pos)
   }
 

tests/run/i4803d/App_2.scala → tests/disabled/run/i4803d/App_2.scala

@@ -10,7 +10,7 @@ object Test {
     println(power2(x3))
   }
 
-  def power2(x: Double) = {
+  rewrite def power2(x: Double) = {
     rewrite def power(x: Double, transparent n: Long) = ~PowerMacro.powerCode('(x), n)
     power(x, 2)
   }