[stock_toaster]

staticccheck for Go does _some_ of this kind of thing (documenting improper usage). https://staticcheck.io/docs/checks

[Yeroc]

SonarQube does as well. I've been shocked at some of the analysis it does.