about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src
diff options
context:
space:
mode:
authorMatthias Krüger <476013+matthiaskrgr@users.noreply.github.com>2025-05-08 08:14:16 +0200
committerGitHub <noreply@github.com>2025-05-08 08:14:16 +0200
commit8a3ab85e7d995965c4482a28dfaa21cb4fb17984 (patch)
treeb22134a9e90d5d564360fa4dd376c720ff5a663c /compiler/rustc_pattern_analysis/src
parent7e552b46af72df390ed233b58a7f51650515b2a8 (diff)
parent8a21d1b495556554dc4ee55338423870b4f7dd53 (diff)
downloadrust-8a3ab85e7d995965c4482a28dfaa21cb4fb17984.tar.gz
rust-8a3ab85e7d995965c4482a28dfaa21cb4fb17984.zip
Rollup merge of #140260 - compiler-errors:only-global-post-norm, r=lcnr
Only prefer param-env candidates if they remain non-global after norm

Introduce `CandidateSource::GlobalParamEnv`, and dynamically compute the `CandidateSource` based on whether the predicate contains params *post-normalization*.

This code needs some cleanup and documentation. I'm just putting this up for review.

cc https://github.com/rust-lang/trait-system-refactor-initiative/issues/179

r? lcnr
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions