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. |
||
|---|---|---|
| .. | ||
| infer | ||
| traits | ||
| mod.rs | ||