diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-10-11 20:08:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-11 20:08:20 +0200 |
| commit | 8ddc0df1f19bb9376aee67b2136cb674be6a13cf (patch) | |
| tree | 0ca7ca9154529a72bc20b69570d734996b5c650f /compiler/rustc_codegen_llvm/src | |
| parent | 3c23df49352264938a726f6a586d6019e602c5cf (diff) | |
| parent | be29d22eab8d3808aad5ecd6c14a9b618352736f (diff) | |
| download | rust-8ddc0df1f19bb9376aee67b2136cb674be6a13cf.tar.gz rust-8ddc0df1f19bb9376aee67b2136cb674be6a13cf.zip | |
Rollup merge of #116219 - compiler-errors:relate-alias-ty-with-variance, r=lcnr
Relate alias ty with variance In the new solver, turns out that the subst-relate branch of the alias-relate predicate was relating args invariantly even for opaques, which have variance :skull:. This change is a bit more invasive, but I'd rather not special-case it [here](https://github.com/rust-lang/rust/blob/aeaa5c30e5c9041264a2e8314b68ad84c2dc3169/compiler/rustc_trait_selection/src/solve/alias_relate.rs#L171-L190) and then have it break elsewhere. I'm doing a perf run to see if the extra call to `def_kind` is that expensive, if it is, I'll reconsider. r? ``@lcnr``
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions