Remove 'raw_pointer_derive' lint (#14615)

2015-11-16 20:52:30 -08:00
parent c124cd523a
commit 07e108f038
6 changed files with 0 additions and 146 deletions
--- a/src/libcore/lib.rs
+++ b/src/libcore/lib.rs
@@ -63,7 +63,6 @@
 #![doc(test(no_crate_inject, attr(allow(unused_variables), deny(warnings))))]

 #![no_core]
-#![allow(raw_pointer_derive)]
 #![deny(missing_docs)]

 #![feature(allow_internal_unstable)]