diff options
| author | Dylan DPC <99973273+Dylan-DPC@users.noreply.github.com> | 2023-05-23 16:44:28 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-23 16:44:28 +0530 |
| commit | 6583025c938196fb0c97aff70c5bce7e0dad24b7 (patch) | |
| tree | 1b74e513aa709335b75b2d911fc13d9526ac2cde /compiler/rustc_codegen_llvm/src/errors.rs | |
| parent | 4b26b80dd56f03affae07eeaffae5c284247a40b (diff) | |
| parent | 0307db4a599ef142b7670489c674ae7abb9b5623 (diff) | |
| download | rust-6583025c938196fb0c97aff70c5bce7e0dad24b7.tar.gz rust-6583025c938196fb0c97aff70c5bce7e0dad24b7.zip | |
Rollup merge of #111853 - compiler-errors:opaque-check, r=oli-obk
Check opaques for mismatch during writeback Revive #111705. I realized that we don't need to put any substs in the writeback results since all of the hidden types have already been remapped. See the comment in `compiler/rustc_middle/src/ty/typeck_results.rs`, which should make that clear for other explorers of the codebase. Additionally, we need to do some diagnostic stashing because the diagnostics we produce during HIR typeck is very poor and we should prefer the diagnostic that comes from MIR, if we have one. r? `@oli-obk`
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions