about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/coverage/mod.rs
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2024-03-28 09:51:39 +0000
committerbors <bors@rust-lang.org>2024-03-28 09:51:39 +0000
commit551abd65bee759c1fd1cc0acd5ba7e5723823c54 (patch)
treea7f0f76f260e7ed98cac5068bf8ed7341f1b210f /compiler/rustc_mir_transform/src/coverage/mod.rs
parentd0e8cbbd99ccc1be12b1aa743521ed89268e59a2 (diff)
parent59c217fed2bc74f3685bf3461674f6b3c7e113c3 (diff)
downloadrust-551abd65bee759c1fd1cc0acd5ba7e5723823c54.tar.gz
rust-551abd65bee759c1fd1cc0acd5ba7e5723823c54.zip
Auto merge of #116891 - aliemjay:opaque-region-infer-rework-2, r=compiler-errors,oli-obk
rework opaque type region inference

User-facing changes are documented in [this comment](https://github.com/rust-lang/rust/pull/116891#issuecomment-1973774412).

The design document is in [this comment](https://github.com/rust-lang/rust/pull/116891#issuecomment-1836900102).

---

\- Fix Ice in check_unique; ICE -> Error; fixes #122782.
\- Ignore uncaptured lifetime args; ICE -> Pass; fixes #111906, fixes #110623, fixes #109059, fixes #122307
\- Except equal parameters from the uniqueness check; Pass -> Error; fixes #113916.
\- Check RPITs for invalid args; Pass -> Error; fixes #111935; ICE -> Error; fixes #110726.
\- Rework opaque types region inference; Pass -> Error; fixes #113971, fixes #112841.
\- Reject external lifetimes as invalid args; Pass -> Error; fixes #105498.

r? `@ghost`
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions