diff options
| author | Ilya Yanok <ilya.yanok@gmail.com> | 2021-10-28 12:49:46 +0000 |
|---|---|---|
| committer | Ilya Yanok <ilya.yanok@gmail.com> | 2021-10-28 12:49:46 +0000 |
| commit | 6c61db44073ce96176850ea5db5dc99624823d91 (patch) | |
| tree | 478f38ac81e762825397acec45f5804700e039f1 /compiler/rustc_llvm/llvm-wrapper/Linker.cpp | |
| parent | 4e0d3973fafdfb1c51011bc74e44257b5e3863f1 (diff) | |
| download | rust-6c61db44073ce96176850ea5db5dc99624823d91.tar.gz rust-6c61db44073ce96176850ea5db5dc99624823d91.zip | |
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_llvm/llvm-wrapper/Linker.cpp')
0 files changed, 0 insertions, 0 deletions
