diff options
| author | bors <bors@rust-lang.org> | 2023-05-19 03:36:37 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-05-19 03:36:37 +0000 |
| commit | 19ca5692f69d20643656bf501fd171f1907ef875 (patch) | |
| tree | ffe30221656a138154b3174a1503cd8037a03ed6 /compiler/rustc_interface/src | |
| parent | 92f5dea0ebe2e34ad8411e8cd8a0c97dd45b3400 (diff) | |
| parent | c06e61151cbcb89c6dc3df4fa2f0f9eaf914452d (diff) | |
| download | rust-19ca5692f69d20643656bf501fd171f1907ef875.tar.gz rust-19ca5692f69d20643656bf501fd171f1907ef875.zip | |
Auto merge of #110100 - compiler-errors:no-infer-pred-must-hold, r=jackh726
do not allow inference in `predicate_must_hold` (alternative approach) See the FCP description for more info, but tl;dr is that we should not return `EvaluatedToOkModuloRegions` if an obligation may hold only with some choice of inference vars being constrained. Attempts to solve this in the approach laid out by lcnr here: https://github.com/rust-lang/rust/pull/109558#discussion_r1147318134, rather than by eagerly replacing infer vars with placeholders which is a bit too restrictive. r? `@ghost`
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions