Repository navigation

add ReadDir::dir to get the directory handle of the underlying directory - #163701

Merged

rust-bors[bot] merged 2 commits into

rust-lang:mainfrom

RalfJung:read-dir-dir

Oct 21, 2026

Merged

add ReadDir::dir to get the directory handle of the underlying directory#163701
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
RalfJung:read-dir-dir

Commits on Oct 20, 2026
- add ReadDir::dir to get the directory handle of the underlying directory
  RalfJung
  committed
  37bc46f
- miri: use and test new ReadDir::dir support
  RalfJung
  committed
  730a53d