Rollup merge of #121311 - Nilstrieb:is-it-overlapping, r=saethlin

Make `is_nonoverlapping` `#[inline]`

It showed up with 3% execution time in a compiler profile.

backlink to #120848

r? ``@saethlin``
This commit is contained in:
Nilstrieb 2024-02-20 07:35:48 +01:00 committed by GitHub
commit 1fb94c062f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

Diff content is not available