On Friday, 8 June 2018 at 11:27:14 UTC, Seb wrote:
The point is to dis-encourage new uses of the deprecated symbol.
The deprecation warning from the compiler and annotating the documentation with a deprecation notice will already accomplish that.
Mike
