diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-02-13 17:38:10 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-13 17:38:10 +0100 |
| commit | 65ab663266b76dedd1d7ae096bba6cf7f2af5d14 (patch) | |
| tree | 28ad86b757511236441f0e9d4bb969a04b22f8b9 /compiler/rustc_llvm/llvm-wrapper/SymbolWrapper.cpp | |
| parent | 5d9c899c7703a2adeaae713209f37386529508f4 (diff) | |
| parent | 51a1000cda2bc0dffef67b1ba3ac7e54b3cc66b4 (diff) | |
| download | rust-65ab663266b76dedd1d7ae096bba6cf7f2af5d14.tar.gz rust-65ab663266b76dedd1d7ae096bba6cf7f2af5d14.zip | |
Rollup merge of #120549 - lcnr:errs-showcase, r=compiler-errors
modify alias-relate to also normalize ambiguous opaques allows a bunch of further cleanups and generally simplifies the type system. To handle https://github.com/rust-lang/trait-system-refactor-initiative/issues/8 we'll have to add a some additional complexity to the `(Alias, Infer)` branches in alias-relate, so removing the opaque type special case here is really valuable. It does worsen `deduce_closure_signature` and friends even more as they now receive an inference variable which is only constrained via an `AliasRelate` goal. These probably have to look into alias relate goals somehow. Leaving that for a future PR as this is something we'll have to tackle regardless. r? `@compiler-errors`
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/SymbolWrapper.cpp')
0 files changed, 0 insertions, 0 deletions