#[coverage(..)]
These tests reveal some inconsistencies that are tracked by <https://github.com/rust-lang/rust/issues/126658>.
This test reflects the current implementation behaviour, which is not necessarily the desired behaviour.