Follow renaming of drain_filter to extract_if. Requires Rust >= 1.72.…

…0-nightly-2023-06-16. Release 0.2.0.

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "rickview"
-version = "0.1.3"
+version = "0.2.0"
 edition = "2021"
 license = "MIT"
 keywords = ["rdf", "semantic-web", "linked-data"]

Dockerfile

@@ -1,5 +1,5 @@
 # syntax=docker/dockerfile:1
-FROM clux/muslrust:1.70.0-nightly-2023-04-04 AS chef
+FROM clux/muslrust:1.72.0-nightly-2023-06-16 AS chef
 USER root
 RUN cargo install cargo-chef
 WORKDIR /app

src/main.rs

@@ -7,7 +7,7 @@
 #![deny(rust_2018_idioms)]
 // don't use let chains until supported by rustfmt
 //#![feature(let_chains)]
-#![feature(btree_drain_filter)]
+#![feature(btree_extract_if)]
 //! Lightweight and performant RDF browser.
 //! An RDF browser is a web application that *resolves* RDF resources: given the HTTP(s) URL identifying a resource it returns an HTML summary.
 //! Besides HTML, the RDF serialization formats RDF/XML, Turtle and N-Triples are also available using content negotiation.

src/rdf.rs

@@ -414,7 +414,7 @@ pub fn resource(subject: Iri<&str>) -> Resource {
 
     let source = deskolemize(&subject);
     let mut all_directs = properties(&PropertyType::Direct, &source);
-    let descriptions = convert(all_directs.drain_filter(|k, _v| config().description_properties.contains(k)).collect());
+    let descriptions = convert(all_directs.extract_if(|k, _v| config().description_properties.contains(k)).collect());
     let directs = convert(all_directs);
     let title = titles().get(&piri.full).unwrap_or(&suffix).to_string().replace(SKOLEM_START, "Blank Node ");
     let main_type = types().get(&suffix).map(std::clone::Clone::clone);