| Age | Commit message (Expand) | Author | Lines |
|---|
| 2018-01-31 | track intercrate ambiguity only when there is a coherence error | Niko Matsakis | -49/+82 |
| 2018-01-31 | change `overlapping_impls` to take a tcx and create the infcx | Niko Matsakis | -42/+40 |
| 2018-01-31 | make `overlapping_impls` call closures instead of returning | Niko Matsakis | -33/+45 |
| 2018-01-01 | Fix docs for future pulldown migration | Malo Jaffré | -0/+1 |
| 2017-12-28 | Prefer to use attr::contains_name() and attr::find_by_name() | Seiichi Uchida | -3/+1 |
| 2017-12-19 | Auto merge of #46664 - mikeyhew:raw_pointer_self, r=arielb1 | bors | -3/+1 |
| 2017-12-19 | Auto merge of #46829 - GuillaumeGomez:rollup, r=GuillaumeGomez | bors | -14/+19 |
| 2017-12-18 | Rollup merge of #46804 - estebank:conflicting-impl-def-span, r=arielb1 | Guillaume Gomez | -4/+8 |
| 2017-12-18 | Rollup merge of #46801 - estebank:impl-extra-req-def-span, r=arielb1 | Guillaume Gomez | -7/+4 |
| 2017-12-18 | Rework expected closure error | Esteban Küber | -3/+7 |
| 2017-12-18 | Point at def span in "impl has stricter requirements" diagnostic | Esteban Küber | -7/+4 |
| 2017-12-18 | normalize the results of `tcx.type_of` after substituting | Ariel Ben-Yehuda | -1/+7 |
| 2017-12-17 | Use def span for conflicting impls and recursive fn | Esteban Küber | -4/+8 |
| 2017-12-17 | implement raw-pointer `self`. Works for traits, including trait objects, but ... | Michael Hewson | -3/+1 |
| 2017-12-10 | Point at whole method call instead of args | Esteban Küber | -2/+2 |
| 2017-12-07 | replace `InferCtxt::fn_sig` with `closure_sig` | Niko Matsakis | -10/+10 |
| 2017-12-06 | convert errors to warnings | Ariel Ben-Yehuda | -1/+1 |
| 2017-12-05 | add a comment and assertion explaining everything | Ariel Ben-Yehuda | -1/+93 |
| 2017-12-05 | improve error reporting | Ariel Ben-Yehuda | -4/+3 |
| 2017-12-05 | convert the new conflicts to a soft error | Ariel Ben-Yehuda | -53/+116 |
| 2017-12-05 | refactor a bit | Ariel Ben-Yehuda | -70/+87 |
| 2017-12-05 | improve treatment of local types in "remote coherence" mode | Ariel Ben-Yehuda | -48/+81 |
| 2017-12-04 | make `no_late_bound_regions` a method on `Binder<T>` | Niko Matsakis | -5/+5 |
| 2017-12-04 | make `resolve_regions_and_report_errors` take an `OutlivesEnv` | Niko Matsakis | -3/+7 |
| 2017-12-04 | move `free_regions_map` into `infer::outlives` | Niko Matsakis | -1/+1 |
| 2017-11-30 | incr.comp.: Make traits::VTable encodable and decodable. | Michael Woerister | -8/+8 |
| 2017-11-30 | Auto merge of #46226 - arielb1:special-region-obligation, r=nikomatsakis | bors | -38/+105 |
| 2017-11-28 | Revert "fix treatment of local types in "remote coherence" mode" | Ariel Ben-Yehuda | -81/+48 |
| 2017-11-28 | Rollup merge of #46249 - estebank:suggest-slice, r=arielb1 | kennytm | -0/+23 |
| 2017-11-27 | reword to "consider borrowing here: `{suggestion}`" | Esteban Küber | -1/+1 |
| 2017-11-26 | fix treatment of local types in "remote coherence" mode | Ariel Ben-Yehuda | -48/+81 |
| 2017-11-25 | comments | Ariel Ben-Yehuda | -11/+31 |
| 2017-11-25 | avoid type-live-for-region obligations on dummy nodes | Ariel Ben-Yehuda | -27/+74 |
| 2017-11-25 | Remove index type check (review comment) | Esteban Küber | -11/+5 |
| 2017-11-25 | Suggest using slice when encountering `let x = ""[..];` | Esteban Küber | -0/+29 |
| 2017-11-18 | remove the `generator_sigs` map, query, and plumbing | Niko Matsakis | -4/+2 |
| 2017-11-18 | convert the `closure_kinds` map to just store the origin information | Niko Matsakis | -5/+5 |
| 2017-11-18 | stop using the `closure_kinds` query / table for anything | Niko Matsakis | -6/+6 |
| 2017-11-18 | traits: prefer `ClosureSubsts` to `InferCtxt::closure_kind` | Niko Matsakis | -4/+4 |
| 2017-11-18 | make `ty::Predicate` carry a `ClosureSubsts` | Niko Matsakis | -6/+6 |
| 2017-11-16 | Nit: rework region obligations to a snapshotted vector | Niko Matsakis | -2/+1 |
| 2017-11-16 | convert TODO in traits into a FIXME | Niko Matsakis | -5/+8 |
| 2017-11-15 | extract out the implied bounds code from `regionck` | Niko Matsakis | -3/+4 |
| 2017-11-15 | move the `region_obligations` processing code into `InferCtxt` | Niko Matsakis | -1/+1 |
| 2017-11-15 | assert that we are consuming all of the region obligations | Niko Matsakis | -0/+9 |
| 2017-11-15 | convert EXTRA_REQUIREMENT_IN_IMPL into a hard error | Niko Matsakis | -29/+8 |
| 2017-11-15 | move region constraints into inference context | Niko Matsakis | -91/+19 |
| 2017-11-15 | fulfill: remove dead code | Niko Matsakis | -8/+0 |
| 2017-11-15 | Auto merge of #45944 - eddyb:provide, r=nikomatsakis | bors | -11/+0 |
| 2017-11-12 | deduplicate projection error (E0271) messages | Zack M. Davis | -7/+14 |
