diff options
| author | bors <bors@rust-lang.org> | 2025-09-26 16:10:47 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-09-26 16:10:47 +0000 |
| commit | 54a8a1db604e4caff93e26e167ad4a6fde9f0681 (patch) | |
| tree | 4ad8eb2c873b1431c53293cfd0d6c25fc6b853f5 /tests/ui/lto/fat-lto.rs | |
| parent | a8858111044a9391ac7558f969d3bf62ef43222d (diff) | |
| parent | c2e39c2f20c568b96fe89c751e65bbbe9116231c (diff) | |
| download | rust-54a8a1db604e4caff93e26e167ad4a6fde9f0681.tar.gz rust-54a8a1db604e4caff93e26e167ad4a6fde9f0681.zip | |
Auto merge of #146885 - lcnr:method-selection-opaques, r=BoxyUwU
support opaque types in method selection See my notes in https://hackmd.io/4ILASx3mQ3u_gW9r1JyqCw. This PR builds on https://github.com/rust-lang/rust/pull/145993 and allows not-yet defined opaque types as self types in the `method_autoderef_chain`. E.g. for `Box<impl Deref<impl Foo>>` this results in the autoderef chain `Box<impl Deref> -> ?deref_hidden_ty -> ?foo_hidden_ty`. Method selection stays ambiguous if the final autoderef step is still an infer var unless that var is an opaque. TODO: treating opaques as rigid jank. r? `@BoxyUwU`
Diffstat (limited to 'tests/ui/lto/fat-lto.rs')
0 files changed, 0 insertions, 0 deletions