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 rust-lang#126384 - RalfJung:is_none_or, r=workingjubilee add tracking issue for is_none_or This was forgotten in rust-lang#126328. Cc rust-lang#126383
- Loading branch information