In general having all these different structs for "origins" is not great, since equating types can cause obligations and vice-versa. I think we should gradually collapse these things. We almost certainly also need to invest a big more energy into the `error_reporting` code to rationalize it: this PR does kind of the minimal effort in that direction. |
||
|---|---|---|
| .. | ||
| mod.rs | ||
| specialization_graph.rs | ||