diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-02-23 09:42:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-23 09:42:12 +0100 |
| commit | 7ae95b266ee483b0a63d627ed763cecbe44b388d (patch) | |
| tree | ca6e420b05f1f4c3f5de4381cc76b8c98e9d8fd2 /compiler/rustc_pattern_analysis/src | |
| parent | 977bbb4d5030cf02b4e048a6eff9fdf9de1f5fcf (diff) | |
| parent | dabacb7431dbca5ea337ed5a456ecf756e2533af (diff) | |
| download | rust-7ae95b266ee483b0a63d627ed763cecbe44b388d.tar.gz rust-7ae95b266ee483b0a63d627ed763cecbe44b388d.zip | |
Rollup merge of #121479 - lcnr:fix-generalize, r=compiler-errors
fix generalizer unsoundness I ended up getting confused while trying to flip the variances when flipping the order. Should be all right now. This is only exploitable when generalizing if the `ambient_variance` of the relation is `Contravariant`. This can currently only be the case in the NLL generalizer which only rarely generalizes, causing us to miss this regression. Very much an issue with #121462 however.
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions