diff options
| author | bors <bors@rust-lang.org> | 2025-09-18 13:49:53 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-09-18 13:49:53 +0000 |
| commit | 4cd91ef8223ef54111d21aa9e9e71b3b26477dd3 (patch) | |
| tree | 4ee26f3709eb71ba531e1df0998ae843e02cad8a /compiler/rustc_interface/src/callbacks.rs | |
| parent | 32e3d9f59bae4bcf436bc1e28723c696d2c75b11 (diff) | |
| parent | 9913c47da2b616fee57f308071d6adc39bff4568 (diff) | |
| download | rust-4cd91ef8223ef54111d21aa9e9e71b3b26477dd3.tar.gz rust-4cd91ef8223ef54111d21aa9e9e71b3b26477dd3.zip | |
Auto merge of #145993 - lcnr:allow-calling-opaques, r=BoxyUwU
`-Znext-solver` allow `ExprKind::Call` for not-yet defined opaques Based on https://github.com/rust-lang/rust/pull/146329. Revival of rust-lang/rust#140496. See the comment on `OpaqueTypesJank`. I've used the following document while working on this https://hackmd.io/Js61f8PRTcyaiyqS-fH9iQ. Fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/181. It does introduce one subtle footgun we may want to handle before stabilization, opened https://github.com/rust-lang/trait-system-refactor-initiative/issues/230 for that. Also cc https://github.com/rust-lang/trait-system-refactor-initiative/issues/231 for deref and index operations r? `@BoxyUwU`
Diffstat (limited to 'compiler/rustc_interface/src/callbacks.rs')
0 files changed, 0 insertions, 0 deletions