diff options
| author | Jade <[email protected]> | 2021-06-14 05:57:10 +0100 |
|---|---|---|
| committer | Jade <[email protected]> | 2021-06-14 05:58:05 +0100 |
| commit | 20b325c7d50092cada3408aee958b3d523541f2c (patch) | |
| tree | 5f8078106976c0573ef05861241f434fb5271891 /crates/hir_ty/src/diagnostics/match_check/usefulness.rs | |
| parent | 660a89620f65225359559ddcaf158bdb9dfe0d4c (diff) | |
tree-wide: make rustdoc links spiky so they are clickable
Diffstat (limited to 'crates/hir_ty/src/diagnostics/match_check/usefulness.rs')
| -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 bd76a606c..64c9d22f3 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 | //! |