about summary refs log tree commit diff
path: root/compiler/rustc_codegen_llvm/src/errors.rs
diff options
context:
space:
mode:
authorGuillaume Gomez <guillaume1.gomez@gmail.com>2024-06-15 19:51:35 +0200
committerGitHub <noreply@github.com>2024-06-15 19:51:35 +0200
commit709d8623088c3935527e88fa2600233238dae241 (patch)
tree3808d96032b5c2dc3c619ea0a80b7faa41e2588f /compiler/rustc_codegen_llvm/src/errors.rs
parent4f83c1d967b4bdbc1774c777687cd765033c66ad (diff)
parent0562064959f478e18ba840854a8d73503a1cf9f0 (diff)
downloadrust-709d8623088c3935527e88fa2600233238dae241.tar.gz
rust-709d8623088c3935527e88fa2600233238dae241.zip
Rollup merge of #126404 - compiler-errors:alias-relate-terms, r=lcnr
Check that alias-relate terms are WF if reporting an error in alias-relate

Check that each of the left/right term is WF when deriving a best error obligation for an alias-relate goal. This will make sure that given `<i32 as NotImplemented>::Assoc = ()` will drill down into `i32: NotImplemented` since we currently treat the projection as rigid.

r? lcnr
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/errors.rs')
0 files changed, 0 insertions, 0 deletions