| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 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. | ||||
| 2016-11-06 | rustc: harden against InferOk having obligations in more cases. | Eduard Burtescu | -9/+13 | |
| 2016-11-02 | just use full-normalization when for the impl trait ref | Niko Matsakis | -15/+10 | |
| This seems better because I want to avoid the situation where unresolved inference variables make it into the environment. On the other hand, I am not 100% sure that this is correct. My assumption was that the WF check should ensure that this normalization can succeed. But it occurs to me that the WF checks may need to make use of the `specializes` predicate themselves, and hence we may have a kind of cycle here (this is a bigger problem with spec in any case that we need to resolve). On the other hand, this should just cause extra errors I think, so it seems like a safe thing to attempt. Certainly all tests pass. | ||||
| 2016-11-02 | normalize trait-ref in context of impl | Niko Matsakis | -8/+8 | |
| The `specializes()` function was trying to normalize the impl trait in an empty environment. This could lead to inexplicable failures. | ||||
| 2016-09-20 | rustc_trans: simplify vtable and symbol handling. | Eduard Burtescu | -1/+38 | |
| 2016-09-20 | rustc: remove ImplOrTraitItemId and TraitDef's associated_type_names. | Eduard Burtescu | -2/+2 | |
| 2016-09-20 | rustc_metadata: move more RBML tags to auto-serialization. | Eduard Burtescu | -47/+16 | |
| 2016-09-14 | clear obligations-added flag with nested fulfillcx | Niko Matsakis | -22/+24 | |
| This flag is a debugging measure designed to detect cases where we start a snapshot, create type variables, register obligations involving those type variables in the fulfillment cx, and then have to unroll the snapshot, leaving "dangling type variables" behind. HOWEVER, in some cases the flag is wrong. In particular, we sometimes create a "mini-fulfilment-cx" in which we enroll obligations. As long as this fulfillment cx is fully drained before we return, this is not a problem, as there won't be any escaping obligations in the main cx. So we add a fn to save/restore the flag. | ||||
| 2016-08-31 | remove `normalize_infer_ctxt` constructor | Niko Matsakis | -1/+1 | |
| 2016-08-31 | remove unneccessary uses of `drain_fulfillment_cx` | Niko Matsakis | -16/+19 | |
| There were various places that we are invoking `drain_fulfillment_cx` with a "result" of `()`. This is kind of pointless, since it amounts to just a call to `select_all_or_error` along with some extra overhead. | ||||
| 2016-08-17 | rustc: remove ParamSpace from Substs. | Eduard Burtescu | -5/+4 | |
| 2016-08-17 | rustc: reduce Substs and Generics to a simple immutable API. | Eduard Burtescu | -18/+14 | |
| 2016-08-12 | rustc: rename ProjectionMode and its variant to be more memorable. | Eduard Burtescu | -5/+4 | |
| 2016-06-23 | Move errors from libsyntax to its own crate | Jonathan Turner | -1/+1 | |
| 2016-05-25 | catch attempts to leak obligations out of snapshots | Ariel Ben-Yehuda | -42/+40 | |
| 2016-05-17 | introduce a specializes cache | Niko Matsakis | -2/+30 | |
| This query is frequently used during trait selection and caching the result can be a reasonable performance win. | ||||
| 2016-05-11 | rustc: Split local type contexts interners from the global one. | Eduard Burtescu | -5/+11 | |
| 2016-05-11 | rustc: More interning for data used in Ty<'tcx>. | Eduard Burtescu | -2/+2 | |
| 2016-05-11 | rustc: Generalize a minimum set of functions over 'tcx != 'gcx. | Eduard Burtescu | -22/+23 | |
| 2016-05-11 | rustc: Wrap users of InferCtxt in an anonymous scope. | Eduard Burtescu | -52/+67 | |
| 2016-05-11 | rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users. | Eduard Burtescu | -16/+23 | |
| 2016-05-11 | rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper. | Eduard Burtescu | -23/+23 | |
| 2016-05-11 | rustc: Avoid free functions taking &TyCtxt and &InferCtxt. | Eduard Burtescu | -7/+6 | |
| 2016-05-11 | infer: Use methods for creating an InferCtxt. | Eduard Burtescu | -3/+3 | |
| 2016-04-12 | Remove unused trait imports | Seo Sanghyeon | -2/+0 | |
| 2016-04-07 | Rollup merge of #32748 - aturon:simplified-spec, r=nikomatsakis | Manish Goregaokar | -56/+149 | |
| Reinstate fast_reject for overlap checking The initial implementation of specialization did not use the `fast_reject` mechanism when checking for overlap, which caused a serious performance regression in some cases. This commit modifies the specialization graph to use simplified types for fast rejection when possible, and along the way refactors the logic for building the specialization graph. Closes #32499 r? @nikomatsakis | ||||
| 2016-04-06 | rustc: move middle::{def,def_id,pat_util} to hir. | Eduard Burtescu | -2/+2 | |
| 2016-04-05 | Reinstate fast_reject for overlap checking | Aaron Turon | -56/+149 | |
| The initial implementation of specialization did not use the `fast_reject` mechanism when checking for overlap, which caused a serious performance regression in some cases. This commit modifies the specialization graph to use simplified types for fast rejection when possible, and along the way refactors the logic for building the specialization graph. Closes #32499 | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |