A lint that would automatically add a space after a comment, common to many conventions and used in most example code.
Advantage
Helps code-writers not accidentally quickly type up comments and forget to add a space after their comment. This would be a nice style lint that would keep internal code documentation more uniform.
Drawbacks
Maybe should be allow by default as there are some other conventions that do not enforce this.
What it does
A lint that would automatically add a space after a comment, common to many conventions and used in most example code.
Advantage
Helps code-writers not accidentally quickly type up comments and forget to add a space after their comment. This would be a nice style lint that would keep internal code documentation more uniform.
Drawbacks
Maybe should be allow by default as there are some other conventions that do not enforce this.
Could take more time to compile
Example
Could be written as: