diff options
| author | David Wood <david.wood@huawei.com> | 2022-06-28 10:57:19 +0100 |
|---|---|---|
| committer | David Wood <david.wood@huawei.com> | 2022-06-30 08:59:22 +0100 |
| commit | 82bd2c23e5a1525659ea5b59e304fb7afbcab388 (patch) | |
| tree | 59efa14518fbdfc552ffeaf5d94bc218bc78ef33 /compiler/rustc_lint | |
| parent | 7dffd14b9642d4b6787b15001a0107f577b6379b (diff) | |
| download | rust-82bd2c23e5a1525659ea5b59e304fb7afbcab388.tar.gz rust-82bd2c23e5a1525659ea5b59e304fb7afbcab388.zip | |
lint: port missing documentation diagnostics
Signed-off-by: David Wood <david.wood@huawei.com>
Diffstat (limited to 'compiler/rustc_lint')
| -rw-r--r-- | compiler/rustc_lint/src/builtin.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler/rustc_lint/src/builtin.rs b/compiler/rustc_lint/src/builtin.rs index 6acfbc8f89b..cf28cdd9bce 100644 --- a/compiler/rustc_lint/src/builtin.rs +++ b/compiler/rustc_lint/src/builtin.rs @@ -582,7 +582,10 @@ impl MissingDoc { MISSING_DOCS, cx.tcx.sess.source_map().guess_head_span(sp), |lint| { - lint.build(&format!("missing documentation for {} {}", article, desc)).emit(); + lint.build(fluent::lint::builtin_missing_doc) + .set_arg("article", article) + .set_arg("desc", desc) + .emit(); }, ); } |