Matthias Krüger df3712ce21 Rollup merge of #121193 - compiler-errors:coherence-fulfillment, r=lcnr ... Use fulfillment in next trait solver coherence Use fulfillment in the new trait solver's `impl_intersection_has_impossible_obligation` routine. This means that inference that falls out of processing other obligations can influence whether we can determine if an obligation is impossible to satisfy. See the committed test. This should be completely sound, since evaluation and fulfillment both respect intercrate mode equally. We run the risk of breaking coherence later if we were to change the rules of fulfillment and/or inference during coherence, but this is a problem which affects evaluation, as nested obligations from a trait goal are processed together and can influence each other in the same way. r? lcnr cc #114862 Also changed obligationctxt -> fulfillmentctxt because it feels kind of redundant to use an ocx here. I don't really care enough and can change it back if it really matters much.		2024-02-17 18:47:42 +01:00
..
src	Rollup merge of #121193 - compiler-errors:coherence-fulfillment, r=lcnr	2024-02-17 18:47:42 +01:00
Cargo.toml	avoid always rerunning in case of a cycle	2024-01-09 11:19:34 +01:00
messages.ftl	make better async fn kind errors	2024-02-15 15:59:35 +00:00