commit | 7ae95b266ee483b0a63d627ed763cecbe44b388d | [log] [tgz] |
---|---|---|
author | Matthias Krüger <matthias.krueger@famsik.de> | Fri Feb 23 09:42:12 2024 +0100 |
committer | GitHub <noreply@github.com> | Fri Feb 23 09:42:12 2024 +0100 |
tree | ca6e420b05f1f4c3f5de4381cc76b8c98e9d8fd2 | |
parent | 977bbb4d5030cf02b4e048a6eff9fdf9de1f5fcf [diff] | |
parent | dabacb7431dbca5ea337ed5a456ecf756e2533af [diff] |
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.
This is the main source code repository for Rust. It contains the compiler, standard library, and documentation.
Note: this README is for users rather than contributors. If you wish to contribute to the compiler, you should read CONTRIBUTING.md instead.
Read “Installation” from The Book.
If you really want to install from source (though this is not recommended), see INSTALL.md.
See https://www.rust-lang.org/community for a list of chat platforms and forums.
See CONTRIBUTING.md.
Rust is primarily distributed under the terms of both the MIT license and the Apache License (Version 2.0), with portions covered by various BSD-like licenses.
See LICENSE-APACHE, LICENSE-MIT, and COPYRIGHT for details.
The Rust Foundation owns and protects the Rust and Cargo trademarks and logos (the “Rust Trademarks”).
If you want to use these names or brands, please read the media guide.
Third-party logos may be subject to third-party copyrights and trademarks. See Licenses for details.