Split out `ty::AliasTerm` from `ty::AliasTy` Splitting out `AliasTerm` (for use in project and normalizes goals) and `AliasTy` (for use in `ty::Alias`) r? lcnr |
||
|---|---|---|
| .. | ||
| constraints.rs | ||
| mod.rs | ||
| solve.rs | ||
| terms.rs | ||
| test.rs | ||
| xform.rs | ||
Split out `ty::AliasTerm` from `ty::AliasTy` Splitting out `AliasTerm` (for use in project and normalizes goals) and `AliasTy` (for use in `ty::Alias`) r? lcnr |
||
|---|---|---|
| .. | ||
| constraints.rs | ||
| mod.rs | ||
| solve.rs | ||
| terms.rs | ||
| test.rs | ||
| xform.rs | ||