Stefan Frijters:
I found a pull request to add __traits(documentation, ...)[1] which would also allow me to solve my problem as a workaround, does anyone know if this is still moving forward?
You can state in that GitHub thread that you could use that feature. There are many stalled nice enhancements in GitHub.
Bye, bearophile
