Restore #![deny(warnings)]

2018-07-10 21:20:04 +02:00
parent d1e3567250
commit 72b908ffbe
1 changed files with 1 additions and 0 deletions
--- a/src/bootstrap/lib.rs
+++ b/src/bootstrap/lib.rs
@@ -114,6 +114,7 @@
 //! also check out the `src/bootstrap/README.md` file for more information.

 #![deny(bare_trait_objects)]
+#![deny(warnings)]
 #![feature(core_intrinsics)]
 #![feature(drain_filter)]