about summary refs log tree commit diff
path: root/src
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 /src
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 'src')
0 files changed, 0 insertions, 0 deletions