diff options
| author | bors <bors@rust-lang.org> | 2024-09-26 09:41:27 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-09-26 09:41:27 +0000 |
| commit | c361d52a9b8af2b975512a9569c802cc587bad87 (patch) | |
| tree | c2e6d09ae615b9c875df4d7d3d11ce211030dba9 /compiler/rustc_data_structures/src | |
| parent | fcc59fe1ad140892de2a79e45a82d5b93f816a95 (diff) | |
| parent | 18aa926d0906661f7fdb2936a12fba102abbbb7d (diff) | |
| download | rust-c361d52a9b8af2b975512a9569c802cc587bad87.tar.gz rust-c361d52a9b8af2b975512a9569c802cc587bad87.zip | |
Auto merge of #3916 - rust-lang:rustup-2024-09-26, r=RalfJung
Automatic Rustup
Diffstat (limited to 'compiler/rustc_data_structures/src')
| -rw-r--r-- | compiler/rustc_data_structures/src/lib.rs | 1 | ||||
| -rw-r--r-- | compiler/rustc_data_structures/src/obligation_forest/graphviz.rs | 3 |
2 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_data_structures/src/lib.rs b/compiler/rustc_data_structures/src/lib.rs index a35f5b1f17d..f225684d99f 100644 --- a/compiler/rustc_data_structures/src/lib.rs +++ b/compiler/rustc_data_structures/src/lib.rs @@ -23,6 +23,7 @@ #![feature(cfg_match)] #![feature(core_intrinsics)] #![feature(extend_one)] +#![feature(file_buffered)] #![feature(hash_raw_entry)] #![feature(macro_metavar_expr)] #![feature(map_try_insert)] diff --git a/compiler/rustc_data_structures/src/obligation_forest/graphviz.rs b/compiler/rustc_data_structures/src/obligation_forest/graphviz.rs index 60cde9a52b4..65a24366db8 100644 --- a/compiler/rustc_data_structures/src/obligation_forest/graphviz.rs +++ b/compiler/rustc_data_structures/src/obligation_forest/graphviz.rs @@ -1,6 +1,5 @@ use std::env::var_os; use std::fs::File; -use std::io::BufWriter; use std::path::Path; use std::sync::atomic::{AtomicUsize, Ordering}; @@ -33,7 +32,7 @@ impl<O: ForestObligation> ObligationForest<O> { let file_path = dir.as_ref().join(format!("{counter:010}_{description}.gv")); - let mut gv_file = BufWriter::new(File::create(file_path).unwrap()); + let mut gv_file = File::create_buffered(file_path).unwrap(); dot::render(&self, &mut gv_file).unwrap(); } |
