Add more metaprogramming changes

Author: anatoliykmetyuk

docs/blog/_posts/2020-02-03-22nd-dotty-milestone-release.md

@@ -141,7 +141,33 @@ Translates to:
     a + a + b + b + h() + h()
 ```
 
-This change was introduced by [PR #8060](https://github.com/lampepfl/dotty/pull/8060/). For more information about the inline capability of Dotty, see [documentation](https://dotty.epfl.ch/docs/reference/metaprogramming/inline.html).
+Notice how the value of the by-name parameter `b` is not inlined but is bound to `def b`. This is an important change that affects all the macros that accepted by-name parameters and analyzed the AST of the underlying code. With this release, such macros will stop working correctly because the AST of the code in question will be the identifier of the by-name parameter, `b` in this case, and not the AST of the code passed under that parameter's name. The workaround is to change all the by-name parameters in your macros to inline parameters.
+
+So, if previously you had a macro `inline def operationOnCode(code: => Unit) = ${ mcrImpl('code) }` which did something on the AST of the passed `code`, with this release you need to change it to `inline def operationOnCode(inline code: Unit) = ${ mcrImpl('code) }`.
+
+This change was introduced by [PR #8060](https://github.com/lampepfl/dotty/pull/8060/).
+
+Another change in the semantics of the inline parameters involves the fact that the can no longer be passed as constants to macro implementations. Previously, the following was possible:
+
+```scala
+// OLD SEMANTICS
+inline def power(x: Double, inline n: Int) = ${ powerCode('x, n) }
+private def powerCode(x: Expr[Double], n: Int)(given
+QuoteContext): Expr[Double] = ???
+```
+
+It was possible to pass `n` directly to the spliced `powerCode` and it would have been treated as a constant in that macro implementation.
+
+Now, the inline parameters must be quoted when passed to a macro:
+
+```scala
+inline def power(x: Double, inline n: Int) = ${ powerCode('x, 'n) }
+private def powerCode(x: Expr[Double], n: Expr[Int])(given QuoteContext): Expr[Double] = ???
+```
+
+You can obtain the constant value of `n` from within the macro implementation by calling `n.getValue` on it which returns an `Option`. This change was introduced by [PR #8061](https://github.com/lampepfl/dotty/pull/8061).
+
+For more information about the inline capability of Dotty, see [documentation](https://dotty.epfl.ch/docs/reference/metaprogramming/inline.html).
 
 # Primitive compiletime operations on singleton types
 Contributed by [Maxime Kjaer](https://github.com/MaximeKjaer), this release brings along type-level arithmetic:
@@ -184,6 +210,9 @@ One area where these suggestions will make life easier is purely functional prog
 
 For the discussion, see [PR #7862](https://github.com/lampepfl/dotty/pull/7862).
 
+# TASTy Inspector library
+TASTy Consumer was renamed to TASTy Inspector as of this release. It was also published in a library of its own. For more information, see the [documentation](https://dotty.epfl.ch/docs/reference/metaprogramming/tasty-inspect.html) on this library.
+
 # Let us know what you think!
 
 If you have questions or any sort of feedback, feel free to send us a message on our