Drop proptest tests

It takes waaay to long to compile.

We should add quickcheck tests when we touch the relevant code next
time.

1 files changed, 5 insertions, 1 deletions

diff --git a/xtask/tests/tidy-tests/docs.rs b/xtask/tests/tidy-tests/docs.rs
index 6a69e7d6a..7ae73b934 100644
--- a/xtask/tests/tidy-tests/docs.rs
+++ b/xtask/tests/tidy-tests/docs.rs
@@ -1,5 +1,6 @@
 use std::{collections::HashMap, fs, io::prelude::*, io::BufReader, path::Path};
 
+use anyhow::Context;
 use walkdir::{DirEntry, WalkDir};
 use xtask::project_root;
 
@@ -50,7 +51,10 @@ fn no_docs_comments() {
         }
         let mut reader = BufReader::new(fs::File::open(f.path()).unwrap());
         let mut line = String::new();
-        reader.read_line(&mut line).unwrap();
+        reader
+            .read_line(&mut line)
+            .with_context(|| format!("Failed to read {}", f.path().display()))
+            .unwrap();
 
         if line.starts_with("//!") {
             if line.contains("FIXME") {