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 #87653 - RalfJung:dont-run-ub, r=kennytm
mark a UB doctest as no_run See #87547 (comment) Cc `@GuillaumeGomez` `@kennytm`
- Loading branch information