diff options
| author | Dylan DPC <99973273+Dylan-DPC@users.noreply.github.com> | 2023-02-15 12:24:53 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-15 12:24:53 +0530 |
| commit | 83f10ea5b729fe5133842b407d757c684ef650b5 (patch) | |
| tree | 3bdfc0ab3b8eb6e6d3bbeb1185d69682c2dbd11f /compiler/rustc_codegen_llvm/src | |
| parent | 0416b1a6f6d5c42696494e1a3a33580fd3f669d8 (diff) | |
| parent | 837c1aff0546edca18b43fbfc65b8dacf0b0b699 (diff) | |
| download | rust-83f10ea5b729fe5133842b407d757c684ef650b5.tar.gz rust-83f10ea5b729fe5133842b407d757c684ef650b5.zip | |
Rollup merge of #105300 - aliemjay:member-lower, r=oli-obk
rework min_choice algorithm of member constraints
See [this comment](https://github.com/rust-lang/rust/pull/105300#issuecomment-1384312743) for the description of the new algorithm.
Fixes #63033
Fixes #104639
This uses a more general algorithm than #89056 that doesn't treat `'static` as a special case. It thus accepts more code. For example:
```rust
async fn test2<'s>(_: &'s u8, _: &'_ &'s u8, _: &'_ &'s u8) {}
```
I claim it's more correct as well because it fixes #104639.
cc ``@nikomatsakis`` ``@lqd`` ``@tmandry`` ``@eholk`` ``@chenyukang`` ``@oli-obk``
r? types
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions