From: Ian Jackson Date: Tue, 12 Jan 2021 20:15:06 +0000 (+0000) Subject: Drop some not-needed unstable features X-Git-Tag: otter-0.3.0~55 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=af0ee522f67d1f203df06667fdf8d5bdab02f45f;p=otter.git Drop some not-needed unstable features Signed-off-by: Ian Jackson --- diff --git a/src/lib.rs b/src/lib.rs index 3c03848a..5594fd61 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -2,7 +2,6 @@ // SPDX-License-Identifier: AGPL-3.0-or-later // There is NO WARRANTY. -#![feature(proc_macro_hygiene, decl_macro)] #![feature(slice_strip)] #![allow(clippy::redundant_closure_call)] diff --git a/wdriver.rs b/wdriver.rs index a81314af..a0858d23 100644 --- a/wdriver.rs +++ b/wdriver.rs @@ -2,9 +2,6 @@ // SPDX-License-Identifier: AGPL-3.0-or-later // There is NO WARRANTY. -#![feature(unboxed_closures)] -#![feature(fn_traits)] - pub use anyhow::{anyhow, ensure, Context}; pub use boolinator::Boolinator; pub use fehler::{throw, throws};