Unnamed repository; edit this file 'description' to name the repository.
Rollup merge of #149030 - mkroening:doc-strict_provenance_lints, r=RalfJung
doc: fix `strict_provenance_lints` tracking issue link
This PR is a follow-up on https://github.com/rust-lang/rust/commit/56ee492a6e7a917b2b3f888e33dd52a13d3ecb64 and fixes the link to the `strict_provenance_lints` tracking issue.
I am not sure whether we should touch this line too:
https://github.com/rust-lang/rust/blob/66bc5a43e55eae14a2ec70b11004c88072fe7f02/compiler/rustc_lint_defs/src/builtin.rs#L2537
r? `@RalfJung`
| -rw-r--r-- | crates/ide-db/src/generated/lints.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/ide-db/src/generated/lints.rs b/crates/ide-db/src/generated/lints.rs index 5eb7e92ffb..7f4dad873c 100644 --- a/crates/ide-db/src/generated/lints.rs +++ b/crates/ide-db/src/generated/lints.rs @@ -10723,9 +10723,9 @@ The tracking issue for this feature is: [#99108] label: "strict_provenance_lints", description: r##"# `strict_provenance_lints` -The tracking issue for this feature is: [#95228] +The tracking issue for this feature is: [#130351] -[#95228]: https://github.com/rust-lang/rust/issues/95228 +[#130351]: https://github.com/rust-lang/rust/issues/130351 ----- The `strict_provenance_lints` feature allows to enable the `fuzzy_provenance_casts` and `lossy_provenance_casts` lints. |