diff options
| author | bors <bors@rust-lang.org> | 2023-08-20 06:24:44 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-08-20 06:24:44 +0000 |
| commit | 39e07493297a4fe9fbfcf356ecf14e39289f97c8 (patch) | |
| tree | f302b182af7faab7e8d603c919697e605c9ebd92 /compiler/rustc_mir_transform/src/coverage/query.rs | |
| parent | 484cb4e78d5c7ec259b7d7540fbb18850ae7a6ba (diff) | |
| parent | 2cc71ba8813e3a651048c18d14411467517c7ddb (diff) | |
| download | rust-39e07493297a4fe9fbfcf356ecf14e39289f97c8.tar.gz rust-39e07493297a4fe9fbfcf356ecf14e39289f97c8.zip | |
Auto merge of #114914 - compiler-errors:deduce-tait-in-future-output, r=lcnr
Normalize return type of `deduce_future_output_from_obligations` Fixes #114909 Also confirmed to fix #114727 manually Now that we have weak/lazy type aliases, we need to normalize those in future signatures to ensure that `replace_opaque_types_with_inference_vars` actually sees TAITs behind them. This isn't needed in the new solver, but added a test to make sure it doesn't regress there either. r? types cc `@oli-obk` (who's gone, worst case can delay this PR until he's back)
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/query.rs')
0 files changed, 0 insertions, 0 deletions