diff options
| author | bors <bors@rust-lang.org> | 2023-10-24 08:08:45 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-10-24 08:08:45 +0000 |
| commit | 271dcc1d40b57ad129d88fef1aa7f239308fbfb4 (patch) | |
| tree | 8034b8ea67990ccde15f4ee6269e85fb11c16166 /tests/ui/async-await/in-trait/async-recursive-generic.stderr | |
| parent | 6eb3e97d5549f81bbdb8a5e94a005a338bc284ec (diff) | |
| parent | a387a3cf9d2a3f3f3b743ff3f2741a72708e1664 (diff) | |
| download | rust-271dcc1d40b57ad129d88fef1aa7f239308fbfb4.tar.gz rust-271dcc1d40b57ad129d88fef1aa7f239308fbfb4.zip | |
Auto merge of #116435 - compiler-errors:re-erased, r=lcnr
Handle `ReErased` in responses in new solver There are legitimate cases in the compiler where we return `ReErased` for lifetimes that are uncaptured in the hidden type of an opaque. For example, in the test committed below, we ignore ignore the bivariant lifetimes of an opaque when it's inferred as the hidden type of another opaque. This may result in a `type_of(Opaque)` call returning a type that references `ReErased`. Let's handle this gracefully in the new solver. Also added a `rustc_hidden_type_of_opaques` attr to print hidden types. This seems useful for opaques. r? lcnr
Diffstat (limited to 'tests/ui/async-await/in-trait/async-recursive-generic.stderr')
0 files changed, 0 insertions, 0 deletions