Re:Four kinds of documentation
by steveklabnik on Friday October 18, 2019 @11:23AM
(#21292132)
You’d think, but I have certainly committed (in both the colloquial and git sense) a dummy /// TODO comment to silence this warning... oops
Then it just takes some self-control and gold code reviews to make sure you're writing good documentation rather than just short stubs to silence the error.