diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-14 08:16:48 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-06-14 08:16:48 +0100 |
| commit | 5a8ddb4b2d62f6a56f867ff2daafef6a2b15f00f (patch) | |
| tree | f26282b998546c0f0ee04aab751157233791fb3e /crates/hir_ty/src/diagnostics | |
| parent | f0618a8f06a464840079f30b3e25bcdcca3922a3 (diff) | |
| parent | 20b325c7d50092cada3408aee958b3d523541f2c (diff) | |
Merge #9260
9260: tree-wide: make rustdoc links spiky so they are clickable r=matklad a=lf-
Rustdoc was complaining about these while I was running with --document-private-items and I figure they should be fixed.
Co-authored-by: Jade <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/diagnostics')
| -rw-r--r-- | crates/hir_ty/src/diagnostics/match_check/usefulness.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir_ty/src/diagnostics/match_check/usefulness.rs b/crates/hir_ty/src/diagnostics/match_check/usefulness.rs index f5ac71444..8451f9df5 100644 --- a/crates/hir_ty/src/diagnostics/match_check/usefulness.rs +++ b/crates/hir_ty/src/diagnostics/match_check/usefulness.rs | |||
| @@ -1,5 +1,5 @@ | |||
| 1 | //! Based on rust-lang/rust 1.52.0-nightly (25c15cdbe 2021-04-22) | 1 | //! Based on rust-lang/rust 1.52.0-nightly (25c15cdbe 2021-04-22) |
| 2 | //! https://github.com/rust-lang/rust/blob/25c15cdbe/compiler/rustc_mir_build/src/thir/pattern/usefulness.rs | 2 | //! <https://github.com/rust-lang/rust/blob/25c15cdbe/compiler/rustc_mir_build/src/thir/pattern/usefulness.rs> |
| 3 | //! | 3 | //! |
| 4 | //! ----- | 4 | //! ----- |
| 5 | //! | 5 | //! |