diff options
| author | bors <bors@rust-lang.org> | 2023-12-23 23:00:08 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-12-23 23:00:08 +0000 |
| commit | cdd6374f1651dfc111526b9a0a031c185dd75056 (patch) | |
| tree | 8bae45a23647a3bec2a8ea33cf0ae88fa0fa6dae /tests/rustdoc-js-std/regex.js | |
| parent | 2d7be73931e0978c8758a672cc7258b417a7e999 (diff) | |
| parent | 34307ab7c55de1c81d2476c86b44d03728b3f0f0 (diff) | |
| download | rust-cdd6374f1651dfc111526b9a0a031c185dd75056.tar.gz rust-cdd6374f1651dfc111526b9a0a031c185dd75056.zip | |
Auto merge of #119218 - Nadrieril:nested-opaque-reveal, r=compiler-errors
Exhaustiveness: Reveal empty opaques in depth Follow-up to https://github.com/rust-lang/rust/pull/116821. As noted [there](https://github.com/rust-lang/rust/pull/116821#discussion_r1376673420), the current implementation doesn't detect emptiness of opaques when the opaque is nested inside a type. This doesn't matter for stable behavior (which ignores nested empty types anyway) but does matter for the [`exhaustive_patterns`](https://github.com/rust-lang/rust/issues/51085)/[`min_exhaustive_patterns`](https://github.com/rust-lang/rust/pull/118803) features. This PR fixes this behavior by adding `InhabitedPredicate::apply_reveal_opaque` that considers opaque types when determining inhabitedness. r? `@compiler-errors`
Diffstat (limited to 'tests/rustdoc-js-std/regex.js')
0 files changed, 0 insertions, 0 deletions