Jacob Pratt b642740e4f Rollup merge of #132345 - compiler-errors:fx-diag, r=lcnr ... Improve diagnostics for `HostEffectPredicate` in the new solver Adds derived cause for host effect predicates. Some diagnostics regress, but that's connected to the fact that our predicate visitor doesn't play well with aliases just yet.		2025-01-06 22:04:13 -05:00
..
error_reporting	Rollup merge of #132345 - compiler-errors:fx-diag, r=lcnr	2025-01-06 22:04:13 -05:00
errors	introduce LateParamRegionKind	2024-12-18 16:05:44 +01:00
solve	Rollup merge of #132345 - compiler-errors:fx-diag, r=lcnr	2025-01-06 22:04:13 -05:00
traits	Add derived causes for host effect predicates	2025-01-06 17:49:46 +00:00
errors.rs	turn hir::ItemKind::Fn into a named-field variant	2025-01-04 11:35:31 +01:00
infer.rs	remove Ty::is_copy_modulo_regions	2024-12-02 13:57:56 +01:00
lib.rs	consistently handle global where-bounds	2024-12-17 08:50:47 +01:00
regions.rs	Reformat using the new identifier sorting from rustfmt	2024-09-22 19:11:29 -04:00
solve.rs	impossible obligations check fast path	2024-10-10 06:09:50 -04:00