From 24f0851e670530b48ba0c098044a7fb235847501 Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Tue, 1 Mar 2016 10:43:09 -0500
Subject: [PATCH] require that header lines begin with `//`

---
 src/compiletest/header.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/compiletest/header.rs b/src/compiletest/header.rs
index 6efe6e608e8a..d8d0c383d8e0 100644
--- a/src/compiletest/header.rs
+++ b/src/compiletest/header.rs
@@ -252,11 +252,12 @@ fn iter_header(testfile: &Path, it: &mut FnMut(&str) -> bool) -> bool {
         // module or function. This doesn't seem to be an optimization
         // with a warm page cache. Maybe with a cold one.
         let ln = ln.unwrap();
+        let ln = ln.trim();
         if ln.starts_with("fn") ||
                 ln.starts_with("mod") {
             return true;
-        } else {
-            if !(it(ln.trim())) {
+        } else if ln.starts_with("//") {
+            if !it(&ln[2..]) {
                 return false;
             }
         }