Document behavior of create_dir_all wrt. empty path · model-checking/verify-rust-std@8fa3f60 (original) (raw)

Original file line number Diff line number Diff line change
@@ -2310,6 +2310,9 @@ pub fn create_dir<P: AsRef>(path: P) -> io::Result<()> {
2310 2310 /// If this function returns an error, some of the parent components might have
2311 2311 /// been created already.
2312 2312 ///
2313 +/// If the empty path is passed to this function, it always succeeds without
2314 +/// creating any directories.
2315 +///
2313 2316 /// # Platform-specific behavior
2314 2317 ///
2315 2318 /// This function currently corresponds to multiple calls to the `mkdir`