]>
2018-11-03 | scalexm | Shift both late bound regions and bound types |
commit | commitdiff | tree |
2018-11-03 | scalexm | Move `BoundTy` to `ty::TyKind` |
commit | commitdiff | tree |
2018-10-19 | scalexm | Write an initial version of the `program_clauses` callback |
commit | commitdiff | tree |
2018-10-17 | scalexm | Re-use memory in `program_clauses_for_env` |
commit | commitdiff | tree |
2018-10-17 | scalexm | Implement `InferenceTable::add_clauses` |
commit | commitdiff | tree |
2018-10-17 | scalexm | Add tests for `program_clauses_for_env` |
commit | commitdiff | tree |
2018-10-17 | scalexm | Categorize chalk clauses |
commit | commitdiff | tree |
2018-10-17 | scalexm | Add `FromEnv` for input types in the environment |
commit | commitdiff | tree |
2018-10-17 | scalexm | Implement the `environment` query |
commit | commitdiff | tree |
2018-10-17 | scalexm | Visit tys in `program_clauses_for_env` |
commit | commitdiff | tree |
2018-10-17 | scalexm | Use `Environment` instead of `ty::ParamEnv` in chalk... |
commit | commitdiff | tree |