diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2021-10-30 20:30:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-30 20:30:27 +0200 |
| commit | 06bb1ff1b58c8663493d2c3c8f3eee7a0cce46cc (patch) | |
| tree | ebf8f663487f3823c6fd21d7abb8278355a77dc0 /compiler/rustc_codegen_llvm/src/llvm_util.rs | |
| parent | 1a1f525bb0d9897673b2445122ffd6f7aa265c9e (diff) | |
| parent | 9a0a622a042d0ed04ad349d8bb778e40dd417a16 (diff) | |
| download | rust-06bb1ff1b58c8663493d2c3c8f3eee7a0cce46cc.tar.gz rust-06bb1ff1b58c8663493d2c3c8f3eee7a0cce46cc.zip | |
Rollup merge of #90375 - yanok:master, r=lcnr
Use `is_global` in `candidate_should_be_dropped_in_favor_of` This manifistated in #90195 with compiler being unable to keep one candidate for a trait impl, if where is a global impl and more than one trait bound in the where clause. Before #87280 `candidate_should_be_dropped_in_favor_of` was using `TypeFoldable::is_global()` that was enough to discard the two `ParamCandidate`s. But #87280 changed it to use `TypeFoldable::is_known_global()` instead, which is pessimistic, so now the compiler drops the global impl instead (because `is_known_global` is not sure) and then can't decide between the two `ParamCandidate`s. Switching it to use `is_global` again solves the issue. Fixes #90195.
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/llvm_util.rs')
0 files changed, 0 insertions, 0 deletions