Upgrade Rust toolchain to 1.84.0 (#15408)

This commit is contained in:
Micha Reiser 2025-01-11 09:51:58 +01:00 committed by GitHub
parent 2d82445794
commit c39ca8fe6d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
18 changed files with 36 additions and 45 deletions

View file

@ -125,7 +125,7 @@ impl Index {
DocumentKey::NotebookCell(url)
} else if Path::new(url.path())
.extension()
.map_or(false, |ext| ext.eq_ignore_ascii_case("ipynb"))
.is_some_and(|ext| ext.eq_ignore_ascii_case("ipynb"))
{
DocumentKey::Notebook(url)
} else {