| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2020-08-15 | replaced log with tracing | Gurpreet Singh | -1/+1 | |
| 2020-07-22 | Normalize opaque types when converting `ParamEnv` to `Reveal::All` | Aaron Hill | -1/+1 | |
| Fixes #65918 | ||||
| 2020-07-20 | shim: adjust valid shim asserts | David Wood | -18/+23 | |
| This commit makes valid shim asserts more specific - checking for the specific types that are valid for a given type of shim - and removes asserts for types which require substitutions. Signed-off-by: David Wood <david@davidtw.co> | ||||
| 2020-07-15 | WithOptConstParam::dummy -> WithOptConstParam::unknown | Bastian Kauschke | -2/+2 | |
| 2020-07-15 | ty_def_id -> def_id_for_type_of | Bastian Kauschke | -1/+1 | |
| 2020-07-15 | improve naming | Bastian Kauschke | -6/+10 | |
| 2020-07-15 | update const arg queries | Bastian Kauschke | -21/+14 | |
| 2020-07-15 | InstanceDef::Item | Bastian Kauschke | -2/+2 | |
| 2020-07-15 | const_eval_resolve | Bastian Kauschke | -9/+43 | |
| 2020-07-09 | Rollup merge of #74070 - eddyb:forall-tcx-providers, r=nikomatsakis | Manish Goregaokar | -1/+1 | |
| Use for<'tcx> fn pointers in Providers, instead of having Providers<'tcx>. In order to work around normalization-under-HRTB (for `provide!` in `rustc_metadata`), we ended up with this: ```rust struct Providers<'tcx> { type_of: fn(TyCtxt<'tcx>, DefId) -> Ty<'tcx>, // ... } ``` But what I initially wanted to do, IIRC, was this: ```rust struct Providers { type_of: for<'tcx> fn(TyCtxt<'tcx>, DefId) -> Ty<'tcx>, // ... } ``` This PR moves to the latter, for the simple reason that only the latter allows keeping a `Providers` value, or a subset of its `fn` pointer fields, around in a `static` or `thread_local!`, which can be really useful for custom drivers that override queries. (@jyn514 and I came across a concrete usecase of that in `rustdoc`) The `provide!` macro in `rustc_metadata` is fixed by making the query key/value types available as type aliases under `ty::query::query_{keys,values}`, not just associated types (this is the first commit). r? @nikomatsakis | ||||
| 2020-07-05 | Use for<'tcx> fn pointers in Providers, instead of having Providers<'tcx>. | Eduard-Mihai Burtescu | -1/+1 | |
| 2020-07-05 | Shrink ParamEnv to 16 bytes | Mark Rousskov | -1/+1 | |
| 2020-06-05 | Rename traits::ImplSourceImpl to ImplSourceUserDefined. | Ana-Maria Mihalache | -2/+2 | |
| 2020-06-05 | Rename traits::Vtable to ImplSource. | Ana-Maria Mihalache | -11/+11 | |
| 2020-05-19 | auto impl`DiscriminantKind` for every type | Bastian Kauschke | -1/+4 | |
| 2020-04-18 | Detect mistyped associated consts in `Instance::resolve`. | Eduard-Mihai Burtescu | -13/+53 | |
| 2020-04-18 | ty/instance: use `ParamEnvAnd` in the `resolve_instance` query. | Eduard-Mihai Burtescu | -2/+4 | |
| 2020-04-05 | Query-ify Instance::resolve | Aaron Hill | -3/+5 | |
| 2020-04-03 | Minor follow-up after renaming librustc(_middle) | Yuki Okushi | -1/+1 | |
| 2020-04-02 | add `STILL_FURTHER_SPECIALIZABLE` flag | David Wood | -1/+5 | |
| This commit adds a STILL_FURTHER_SPECIALIZABLE flag to `TypeFlags` which replaces `needs_infer` and `needs_subst` in `Instance::resolve` and `assemble_candidates_from_impls.` Signed-off-by: David Wood <david@davidtw.co> | ||||
| 2020-03-30 | Format | Jonas Schievink | -2/+2 | |
| 2020-03-30 | Assert that the trait ref does not need inference | Jonas Schievink | -0/+1 | |
| 2020-03-30 | Sync `Instance::resolve` with the projection code | Jonas Schievink | -8/+38 | |
| 2020-03-30 | rustc -> rustc_middle part 2 | Mazdak Farrokhzad | -3/+3 | |
| 2020-03-15 | rustc: don't resolve Instances which would produce malformed shims. | Eduard-Mihai Burtescu | -20/+50 | |
| 2020-03-14 | Make downstream crates compile. | Camille GILLOT | -1/+1 | |
| 2020-03-06 | Don't redundantly repeat field names (clippy::redundant_field_names) | Matthias Krüger | -1/+1 | |
| 2020-03-01 | `delay_span_bug` when codegen cannot select obligation | Esteban Küber | -1/+1 | |
| Fix #69602, introduced in #60126 by letting the compiler continue past type checking after encountering errors. | ||||
| 2020-02-16 | Other crates. | Camille GILLOT | -1/+1 | |
| 2020-02-13 | Move resolve_instance to rustc_ty. | Camille GILLOT | -0/+136 | |
