| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2018-03-08 | Add InterpretInterner to StableHashingContext for AllocId serialization | Oliver Schneider | -2/+2 | |
| 2018-03-05 | Turn features() into a query. | Michael Woerister | -1/+1 | |
| 2018-03-02 | Run Rustfix on librustc | Manish Goregaokar | -2/+2 | |
| 2018-03-02 | Replace Rc with Lrc for shared data | John Kåre Alsaker | -5/+5 | |
| 2018-03-01 | add universes to type inference variables | Niko Matsakis | -1/+1 | |
| 2018-02-25 | Make comment into a doc comment and change readme ref | Mark Mansi | -8/+10 | |
| 2018-01-30 | change `overlapping_impls` to take a tcx and create the infcx | Niko Matsakis | -33/+29 | |
| 2018-01-30 | make `overlapping_impls` call closures instead of returning | Niko Matsakis | -25/+26 | |
| 2017-12-17 | Use def span for conflicting impls and recursive fn | Esteban Küber | -4/+8 | |
| 2017-12-05 | convert the new conflicts to a soft error | Ariel Ben-Yehuda | -33/+74 | |
| 2017-11-25 | comments | Ariel Ben-Yehuda | -0/+11 | |
| 2017-11-25 | avoid type-live-for-region obligations on dummy nodes | Ariel Ben-Yehuda | -1/+1 | |
| Type-live-for-region obligations on DUMMY_NODE_ID cause an ICE, and it turns out that in the few cases they are needed, these obligations are not needed anyway because they are verified elsewhere. Fixes #46069. | ||||
| 2017-10-23 | Print the conflicting impl on E0119 with external crate. | kennytm | -2/+60 | |
| 2017-10-06 | Improve resolution of associated types in macros 2.0 | Vadim Petrochenkov | -4/+7 | |
| 2017-09-18 | incr.comp.: Remove tcx from StableHashingContext. | Michael Woerister | -2/+2 | |
| 2017-09-18 | incr.comp.: Use StableHash impls instead of functions for hashing most maps. | Michael Woerister | -17/+4 | |
| 2017-09-18 | incr.comp.: Compute hashes of all query results. | Michael Woerister | -0/+34 | |
| 2017-09-05 | Print more detailed trait-ref for intercrate ambiguity. | Masaki Hara | -1/+1 | |
| 2017-09-05 | Unify intercrate ambiguity emitters into a function. | Masaki Hara | -11/+1 | |
| 2017-09-05 | Slightly modify hint messages. | Masaki Hara | -2/+2 | |
| 2017-09-05 | Add hints when intercrate ambiguity causes overlap. | Masaki Hara | -3/+20 | |
| 2017-08-29 | rustc: Remove `specailization_cache` in favor of a query | Alex Crichton | -15/+9 | |
| This commit removes the `specialization_cache` field of `TyCtxt` by moving it to a dedicated query, which it turned out was already quite easily structured to do so! | ||||
| 2017-08-12 | Fix some typos | Bastien Orivel | -2/+2 | |
| 2017-08-11 | Fix some typos | Bastien Orivel | -1/+1 | |
| 2017-08-08 | make `for_all_relevant_impls` O(1) again | Ariel Ben-Yehuda | -1/+2 | |
| A change in #41911 had made `for_all_relevant_impls` do a linear scan over all impls, instead of using an HashMap. Use an HashMap again to avoid quadratic blowup when there is a large number of structs with impls. I think this fixes #43141 completely, but I want better measurements in order to be sure. As a perf patch, please don't roll this up. | ||||
| 2017-07-23 | Fix some doc/comment typos. | Bruce Mitchener | -4/+4 | |
| 2017-06-10 | rustc: make the comon case of tcx.infer_ctxt(()) nicer. | Eduard-Mihai Burtescu | -3/+3 | |
| 2017-06-01 | ergonomic improvements to the methods in infcx | Niko Matsakis | -5/+2 | |
| 2017-06-01 | strip param-env from infcx | Niko Matsakis | -14/+24 | |
| 2017-06-01 | move projection mode into parameter environment | Niko Matsakis | -3/+3 | |
| 2017-05-22 | rename `parameter_environment` to `param_env` | Niko Matsakis | -2/+2 | |
| 2017-05-15 | Share lists of blanket impls in results of relevant_impls_for() query. | Michael Woerister | -1/+13 | |
| 2017-05-15 | Remove interior mutability from TraitDef by turning fields into queries. | Michael Woerister | -10/+65 | |
| 2017-05-13 | rustc: treat ReEarlyBound as free without replacing it with ReFree. | Eduard-Mihai Burtescu | -3/+1 | |
| 2017-05-13 | rustc: uniformly compute ParameterEnvironment's "free outlive scope". | Eduard-Mihai Burtescu | -3/+1 | |
| 2017-04-30 | remove ROOT_CODE_EXTENT and DUMMY_CODE_EXTENT | Niko Matsakis | -2/+1 | |
| Instead, thread around `Option<CodeExtent>` where applicable. | ||||
| 2017-04-24 | rustc: rename some of the queries to match tcx methods. | Eduard-Mihai Burtescu | -2/+2 | |
| 2017-04-19 | propagate other obligations that were left out | Niko Matsakis | -4/+3 | |
| cc #32730 -- I left exactly one instance where I wasn't sure of the right behavior. | ||||
| 2017-04-15 | rustc: ban registering obligations during InferCtxt snapshots. | Eduard-Mihai Burtescu | -1/+1 | |
| 2017-04-14 | Further update with response to feedback | Sean Griffin | -8/+2 | |
| 2017-04-14 | Implement RFC 1268 | Sean Griffin | -0/+10 | |
| This patch allows overlap to occur between any two impls of a trait for traits which have no associated items. Several compile-fail tests around coherence had to be changed to add at least one item to the trait they test against. Ref #29864 | ||||
| 2017-03-18 | resolve instances to ty::Instance directly | Ariel Ben-Yehuda | -13/+12 | |
| This removes the duplication between collector, callee, and (eventually) MIRI. | ||||
| 2017-03-13 | some style fixes | Tshepang Lekhonkhobe | -2/+2 | |
| 2017-02-25 | rustc_typeck: rework coherence to be almost completely on-demand. | Eduard-Mihai Burtescu | -2/+2 | |
| 2017-01-06 | rustc: keep track of tables everywhere as if they were per-body. | Eduard-Mihai Burtescu | -3/+3 | |
| 2016-12-05 | erase lifetimes when translating specialized substs | Ariel Ben-Yehuda | -0/+1 | |
| Projections can generate lifetime variables with equality constraints, that will not be resolved by `resolve_type_vars_if_possible`, so substs need to be lifetime-erased after that. Fixes #36848. | ||||
| 2016-11-29 | rustc: remove type information from TraitDef. | Eduard-Mihai Burtescu | -8/+6 | |
| 2016-11-15 | remove TypeOrigin and use ObligationCause instead | Niko Matsakis | -3/+5 | |
| 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. | ||||
| 2016-11-10 | rustc: unify and simplify managing associated items. | Eduard Burtescu | -129/+16 | |
| 2016-11-08 | Replace FnvHasher use with FxHasher. | Nicholas Nethercote | -6/+6 | |
| This speeds up compilation by 3--6% across most of rustc-benchmarks. | ||||
