I see that there is https://github.com/lampepfl/dotty/tree/master/docs/docs/reference/metaprogramming/erased-terms.md but it's not accessible from https://dotty.epfl.ch/docs/reference/metaprogramming/toc.html