pub fn drain_file(reader: impl Read, file: File, maximum: usize) -> Result<()>
Bounded on-disk diagnostics, with pipes drained after cap is reached.