about summary refs log tree commit diff
diff options
context:
space:
mode:
authortinaun <tinagma@gmail.com>2018-01-01 19:32:44 -0500
committertinaun <tinagma@gmail.com>2018-01-01 19:56:40 -0500
commit5c25b0c5948d730d7fa7f6e581e8b91d4467753e (patch)
tree90eba31249abb1996c84ab069db8bff340c3222b
parent46cd4103818c573ca0ca9cf450ae1a006dca27bf (diff)
downloadrust-5c25b0c5948d730d7fa7f6e581e8b91d4467753e.tar.gz
rust-5c25b0c5948d730d7fa7f6e581e8b91d4467753e.zip
prevent generating duplicate stubs
-rw-r--r--src/tools/tidy/src/unstable_book.rs2
-rw-r--r--src/tools/unstable-book-gen/src/main.rs8
2 files changed, 4 insertions, 6 deletions
diff --git a/src/tools/tidy/src/unstable_book.rs b/src/tools/tidy/src/unstable_book.rs
index e8eac0b8703..a4a35a706fd 100644
--- a/src/tools/tidy/src/unstable_book.rs
+++ b/src/tools/tidy/src/unstable_book.rs
@@ -87,7 +87,7 @@ pub fn check(path: &path::Path, bad: &mut bool) {
     // Library features
 
     let lang_features = collect_lang_features(path);
-    let lib_features = collect_lib_features(path).iter().filter(|(name, _) {
+    let lib_features = collect_lib_features(path).into_iter().filter(|&(ref name, _)| {
         !lang_features.contains_key(name)
     }).collect();
 
diff --git a/src/tools/unstable-book-gen/src/main.rs b/src/tools/unstable-book-gen/src/main.rs
index 189f69ab7cb..f66a18547c3 100644
--- a/src/tools/unstable-book-gen/src/main.rs
+++ b/src/tools/unstable-book-gen/src/main.rs
@@ -129,11 +129,9 @@ fn main() {
     let dest_path = Path::new(&dest_path_str).join("src");
 
     let lang_features = collect_lang_features(src_path);
-    let lib_features = collect_lib_features(src_path)
-                                            .iter()
-                                            .filter(|(name, _) {
-                                                !lang_features.contains_key(name)
-                                            }).collect();
+    let lib_features = collect_lib_features(src_path).into_iter().filter(|&(ref name, _)| {
+        !lang_features.contains_key(name)
+    }).collect();
 
     let doc_src_path = src_path.join(PATH_STR);