One useful regression case for the iterative walk is a parent appearing between the upward scan and the downward creation pass. Pairing that with an existing non-directory component would exercise the distinction you describe between AlreadyExists/is_dir and errors that must propagate. It would also complement the deep-path test without relying on one platform's stack size.
