Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of #33839 - kamalmarhubi:codemape-get-filemap-option, r=…
…nmatsakis This is more idiomatic, putting the caller in charge of whether or not to panic.
- Loading branch information