UB if f*_fast intrinsic called with nonfinite value

[rust.git] / src / lib.rs

diff --git a/src/lib.rs b/src/lib.rs
index c8c9e70ec3deb22ba283662bd65d6689050c7a31..6a5e7af23726903d8e50da6a69258dba7d97beb5 100644 (file)
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -1,17 +1,12 @@
 #![feature(rustc_private)]
-#![feature(option_expect_none, option_unwrap_none)]
 #![feature(map_first_last)]
+#![feature(map_try_insert)]
 #![feature(never_type)]
-#![feature(or_patterns)]
 #![feature(try_blocks)]
 
 #![warn(rust_2018_idioms)]
 #![allow(clippy::cast_lossless)]
 
-#![allow(incomplete_features)]
-#![feature(const_generics)]
-
-extern crate rustc_attr;
 extern crate rustc_apfloat;
 extern crate rustc_ast;
 #[macro_use] extern crate rustc_middle;
@@ -55,7 +50,7 @@
 pub use crate::shims::EvalContextExt as _;
 
 pub use crate::data_race::{
-    AtomicReadOp, AtomicWriteOp, AtomicRWOp, AtomicFenceOp, DataRaceLockHandle,
+    AtomicReadOp, AtomicWriteOp, AtomicRwOp, AtomicFenceOp,
     EvalContextExt as DataRaceEvalContextExt
 };
 pub use crate::diagnostics::{
@@ -81,7 +76,7 @@
     EvalContextExt as SyncEvalContextExt, CondvarId, MutexId, RwLockId
 };
 pub use crate::vector_clock::{
-    VClock, VSmallClockSet, VectorIdx, VTimestamp
+    VClock, VectorIdx, VTimestamp
 };
 
 /// Insert rustc arguments at the beginning of the argument list that Miri wants to be