about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/structured_errors.rs
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2023-08-08 03:30:56 +0200
committerGitHub <noreply@github.com>2023-08-08 03:30:56 +0200
commit418b91a3d7abade84a652b55634c88cc7d06b7da (patch)
treebaf98c7159e7e6ec8d25d400ae18c94063a27840 /compiler/rustc_hir_analysis/src/structured_errors.rs
parent3cd0a109a8a603dd1d6be5a102c404bb53bd67be (diff)
parentba4a2f7cb72016613ac4b1fe66ee2f6704d9cd73 (diff)
downloadrust-418b91a3d7abade84a652b55634c88cc7d06b7da.tar.gz
rust-418b91a3d7abade84a652b55634c88cc7d06b7da.zip
Rollup merge of #114594 - compiler-errors:new-solver-resolve-aliases, r=lcnr
Structurally normalize weak and inherent in new solver

It seems pretty obvious to me that we should be normalizing weak and inherent aliases too, since they can always be normalized. This PR still leaves open the question of what to do with opaques, though 💀

**Also**, we need to structurally resolve the target of a coercion, for the UI test to work.

r? `@lcnr`
Diffstat (limited to 'compiler/rustc_hir_analysis/src/structured_errors.rs')
0 files changed, 0 insertions, 0 deletions