Remove unused `#![feature(…)]` attributes

servo · bors-servo · Apr 16, 2020 · Apr 15, 2020 · Apr 15, 2020 · Apr 15, 2020
commit fbfe86fffe2935f4d2c4d7456fd613de126b1430
diff --git a/components/script/lib.rs b/components/script/lib.rs
@@ -7,7 +7,6 @@
 #![feature(const_transmute)]
 #![feature(core_intrinsics)]
 #![feature(drain_filter)]
-#![feature(inner_deref)]
 #![feature(plugin)]
 #![feature(register_tool)]
 #![deny(unsafe_code)]

diff --git a/components/script_layout_interface/lib.rs b/components/script_layout_interface/lib.rs
@@ -7,7 +7,6 @@
 //! to depend on script.
 
 #![deny(unsafe_code)]
-#![feature(box_into_raw_non_null)]
 
 #[macro_use]
 extern crate html5ever;

diff --git a/ports/glutin/main.rs b/ports/glutin/main.rs
@@ -15,8 +15,6 @@
 //!
 //! [glutin]: https://github.com/tomaka/glutin
 
-#![feature(core_intrinsics)]
-
 #[cfg(not(target_os = "android"))]
 include!("main2.rs");