Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/ide/src/doc_links.rs')
| -rw-r--r-- | crates/ide/src/doc_links.rs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/crates/ide/src/doc_links.rs b/crates/ide/src/doc_links.rs index 1357f42636..f221985719 100644 --- a/crates/ide/src/doc_links.rs +++ b/crates/ide/src/doc_links.rs @@ -351,8 +351,12 @@ fn get_doc_links( web_url = join_url(web_url, &file); local_url = join_url(local_url, &file); - web_url.as_mut().map(|url| url.set_fragment(frag.as_deref())); - local_url.as_mut().map(|url| url.set_fragment(frag.as_deref())); + if let Some(url) = web_url.as_mut() { + url.set_fragment(frag.as_deref()) + } + if let Some(url) = local_url.as_mut() { + url.set_fragment(frag.as_deref()) + } DocumentationLinks { web_url: web_url.map(|it| it.into()), |