diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-11-20 20:56:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-20 20:56:42 +0100 |
| commit | 0270afee3148e8a97f9969f037ccbec046d65fd6 (patch) | |
| tree | 49874d72a13324bdaf59b82fcb40e53755785210 /compiler/rustc_mir_transform/src | |
| parent | 7fd7dad07b77ea436d032774274ef43557702a30 (diff) | |
| parent | 253f5023c3e647631f52a945eb523edd6bc71af8 (diff) | |
| download | rust-0270afee3148e8a97f9969f037ccbec046d65fd6.tar.gz rust-0270afee3148e8a97f9969f037ccbec046d65fd6.zip | |
Rollup merge of #117992 - compiler-errors:sound-but-not-complete, r=lcnr,aliemjay
Don't require intercrate mode for negative coherence Negative coherence needs to be *sound*, but does not need to be *complete*, since it's looking for the *existence* of a negative goal, not the non-existence of a positive goal. This removes some trivial and annoying ambiguities when a negative impl has region constraints. r? lcnr idk if this needs an fcp but if it does, pls kick it off
Diffstat (limited to 'compiler/rustc_mir_transform/src')
0 files changed, 0 insertions, 0 deletions