One great advantage of replacing comments with language constructs is that if the compiler checks the "docs", people don't forget to update it and can actually

One great advantage of replacing comments with language constructs is that if the compiler checks the "docs", people don't forget to update it and can actually trust what's written down