diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2024-06-15 19:51:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-15 19:51:35 +0200 |
| commit | 709d8623088c3935527e88fa2600233238dae241 (patch) | |
| tree | 3808d96032b5c2dc3c619ea0a80b7faa41e2588f /compiler/rustc_codegen_llvm/src/errors.rs | |
| parent | 4f83c1d967b4bdbc1774c777687cd765033c66ad (diff) | |
| parent | 0562064959f478e18ba840854a8d73503a1cf9f0 (diff) | |
| download | rust-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
