| Age | Commit message (Expand) | Author | Lines |
|---|
| 2018-11-15 | Rollup merge of #55778 - nnethercote:LrcPreds, r=eddyb | Pietro Albini | -5/+7 |
| 2018-11-14 | Wrap some query results in `Lrc`. | Nicholas Nethercote | -5/+7 |
| 2018-11-13 | Implement `ProjectionEq-Normalize` | csmoe | -1/+43 |
| 2018-11-13 | Instantiate all bound vars existentially | scalexm | -4/+3 |
| 2018-11-13 | Use a dummy outlives requirement for `where Type:,` (see #53696) | scalexm | -6/+7 |
| 2018-11-13 | Bypass ppaux for `Outlives` predicates | scalexm | -1/+1 |
| 2018-11-13 | Provide program clauses for builtin types | scalexm | -229/+509 |
| 2018-11-13 | Adjust documentation | scalexm | -3/+4 |
| 2018-11-13 | Pretty print quantified goals and clauses | scalexm | -10/+3 |
| 2018-11-13 | Replace type params with bound vars in `rustc_traits::lowering` | scalexm | -60/+118 |
| 2018-11-11 | Rollup merge of #55745 - nnethercote:outlives_components-SmallVec, r=matthewj... | Pietro Albini | -2/+4 |
| 2018-11-10 | Auto merge of #55637 - pnkfelix:issue-55552-dont-attempt-to-ascribe-projectio... | bors | -6/+24 |
| 2018-11-08 | Use `SmallVec` outparams in several functions. | Nicholas Nethercote | -2/+4 |
| 2018-11-03 | Rename `Binder::no_late_bound_regions` to `Binder::no_bound_vars` | scalexm | -2/+2 |
| 2018-11-03 | Shift both late bound regions and bound types | scalexm | -1/+1 |
| 2018-11-03 | Move `BoundTy` to `ty::TyKind` | scalexm | -1/+3 |
| 2018-11-03 | If we encounter `_` ascribed to structural pattern like `(a, b)`, just skip r... | Felix S. Klock II | -6/+24 |
| 2018-10-29 | Change a flat_map with 0/1-element vecs to a filter_map | ljedrz | -6/+6 |
| 2018-10-26 | add user_ty.projs support to `AscribeUserType`. | Felix S. Klock II | -4/+20 |
| 2018-10-24 | port the relate-types code from NLL type-check into a type-op | Niko Matsakis | -5/+147 |
| 2018-10-24 | introduce (but do not use) `ascribe_user_type` goal | Niko Matsakis | -0/+14 |
| 2018-10-20 | Rollup merge of #55203 - scalexm:program-clauses, r=nikomatsakis | Manish Goregaokar | -25/+214 |
| 2018-10-19 | Write an initial version of the `program_clauses` callback | scalexm | -25/+214 |
| 2018-10-19 | Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hack | Oliver Scherer | -5/+5 |
| 2018-10-17 | Re-use memory in `program_clauses_for_env` | scalexm | -5/+5 |
| 2018-10-17 | Implement `InferenceTable::add_clauses` | scalexm | -8/+12 |
| 2018-10-17 | Add tests for `program_clauses_for_env` | scalexm | -5/+6 |
| 2018-10-17 | Categorize chalk clauses | scalexm | -4/+20 |
| 2018-10-17 | Add `FromEnv` for input types in the environment | scalexm | -4/+66 |
| 2018-10-17 | Implement the `environment` query | scalexm | -0/+25 |
| 2018-10-17 | Visit tys in `program_clauses_for_env` | scalexm | -29/+66 |
| 2018-10-17 | Use `Environment` instead of `ty::ParamEnv` in chalk context | scalexm | -98/+170 |
| 2018-10-15 | Auto merge of #55095 - Manishearth:rollup, r=Manishearth | bors | -5/+2 |
| 2018-10-15 | pacify the mercilous tidy with rustfmt | Niko Matsakis | -115/+122 |
| 2018-10-15 | hide `SmallCanonicalVarValues` in `OriginalQueryValues` struct | Niko Matsakis | -3/+4 |
| 2018-10-15 | rename `QueryResult` to `QueryResponse` | Niko Matsakis | -17/+17 |
| 2018-10-15 | bundle up "canonical instantiation" with infcx creation | Niko Matsakis | -19/+13 |
| 2018-10-14 | Don't collect to vectors where unnecessary | ljedrz | -5/+2 |
| 2018-10-08 | Add chalk rules related to associated type defs | scalexm | -8/+85 |
| 2018-10-08 | Pass around interned refs to goals and not goals | scalexm | -28/+36 |
| 2018-10-03 | Introduce `TyKind::UnnormalizedProjection` | scalexm | -0/+2 |
| 2018-09-30 | Auto merge of #54601 - cuviper:prep-1.31, r=Mark-Simulacrum | bors | -3/+1 |
| 2018-09-28 | rustc: keep a Span for each predicate in ty::GenericPredicates. | Eduard-Mihai Burtescu | -7/+16 |
| 2018-09-27 | Bump to 1.31.0 and bootstrap from 1.30 beta | Josh Stone | -3/+1 |
| 2018-09-22 | Stabilize crate_in_paths, extern_absolute_paths and extern_prelude on all edi... | Eduard-Mihai Burtescu | -2/+2 |
| 2018-09-11 | stabalize infer outlives requirements (RFC 2093). | toidiu | -1/+0 |
| 2018-09-05 | Changing TyAnon -> TyOpaque and relevant functions | ms2300 | -2/+2 |
| 2018-08-27 | Auto merge of #53441 - toidiu:ak-fix53419, r=nikomatsakis | bors | -0/+1 |
| 2018-08-25 | Auto merge of #53385 - matklad:stabilize-find-map, r=KodrAus | bors | -1/+0 |
| 2018-08-24 | check that adding infer-outlives requirement to all crates works | Niko Matsakis | -0/+1 |
