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. |
||
|---|---|---|
| .. | ||
| inspect | ||
| delegate.rs | ||
| fulfill.rs | ||
| inspect.rs | ||
| normalize.rs | ||
| select.rs | ||