1
Fork 0

lint: port missing documentation diagnostics

Signed-off-by: David Wood <david.wood@huawei.com>
This commit is contained in:
David Wood 2022-06-28 10:57:19 +01:00
parent 7dffd14b96
commit 82bd2c23e5
2 changed files with 6 additions and 1 deletions

View file

@ -324,3 +324,5 @@ lint-builtin-export-name-method = declaration of a method with `export_name`
lint-builtin-decl-unsafe-fn = declaration of an `unsafe` function
lint-builtin-decl-unsafe-method = declaration of an `unsafe` method
lint-builtin-impl-unsafe-method = implementation of an `unsafe` method
lint-builtin-missing-doc = missing documentation for {$article} {$desc}