| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-07-31 | Remove `ParamEnvAnd::into_parts`. | Nicholas Nethercote | -2/+2 | |
| The fields are public, so this doesn't need a method, normal deconstruction and/or field access is good enough. | ||||
| 2025-03-04 | Only use implied bounds hack if bevy, and use deeply normalize in implied ↵ | Michael Goulet | -19/+9 | |
| bounds hack | ||||
| 2025-01-25 | Pass spans to perform_locally_in_new_solver | Michael Goulet | -2/+3 | |
| 2024-10-17 | `ImpliedOutlivesBounds` to `rustc_middle` | lcnr | -5/+6 | |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -1/+1 | |
| 2024-01-17 | Correctly handle normalization in implied bounds | Ali MJ Al-Nasrawy | -1/+17 | |
| Special-case Bevy dependents to not error | ||||
| 2023-05-27 | Uplift complex type ops back into typeck so we can call them locally | Michael Goulet | -166/+3 | |
| 2023-05-25 | Fallible<_> -> Result<_, NoSolution> | Michael Goulet | -2/+2 | |
| 2023-05-15 | Move expansion of query macros in rustc_middle to rustc_middle::query | John Kåre Alsaker | -1/+1 | |
| 2023-03-23 | Rename AliasEq -> AliasRelate | Michael Goulet | -2/+2 | |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -1/+1 | |
| 2023-02-17 | Add `Clause::ConstArgHasType` variant | Boxy | -0/+3 | |
| 2023-02-10 | add `AliasEq` to `PredicateKind` | Boxy | -1/+3 | |
| 2023-02-09 | Update implied_outlives_bounds to properly register implied bounds behind ↵ | Jack Huey | -36/+49 | |
| normalization | ||||
| 2023-02-09 | Cleanup free_region_relations a bit | Jack Huey | -0/+1 | |
| 2023-01-23 | fix: use LocalDefId instead of HirId in trait res | Vincenzo Palazzo | -4/+3 | |
| use LocalDefId instead of HirId in trait resolution to simplify the obligation clause resolution Signed-off-by: Vincenzo Palazzo <vincenzopalazzodev@gmail.com> | ||||
| 2023-01-19 | even more unify Projection/Opaque in outlives code | Ali MJ Al-Nasrawy | -4/+2 | |
| 2023-01-13 | Unify Opaque/Projection handling in region outlives code | Michael Goulet | -3/+2 | |
| 2022-11-25 | Introduce PredicateKind::Clause | Santiago Pastorino | -8/+9 | |
| 2022-11-23 | Pass ObligationCtxt from enter_canonical_trait_query and use ObligationCtxt API | Santiago Pastorino | -16/+13 | |
| 2022-11-21 | Add an always-ambiguous predicate to make sure that we don't accidentlally ↵ | Oli Scherer | -0/+1 | |
| allow trait resolution to prove false things during coherence | ||||
| 2022-10-27 | (almost) Always use ObligationCtxt when dealing with canonical queries | Michael Goulet | -2/+2 | |
| 2022-10-07 | Remove TypeckResults from InferCtxt | Cameron Steffen | -1/+1 | |
| 2022-10-04 | It's not about types or consts, but the lack of regions | Oli Scherer | -1/+1 | |
| 2022-09-25 | Auto merge of #95474 - oli-obk:tait_ub, r=jackh726 | bors | -0/+3 | |
| Neither require nor imply lifetime bounds on opaque type for well formedness The actual hidden type can live arbitrarily longer than any individual lifetime and arbitrarily shorter than all but one of the lifetimes. fixes #86218 fixes #84305 This is a **breaking change** but it is a necessary soundness fix | ||||
| 2022-09-21 | Neither require nor imply lifetime bounds on opaque type for well formedness | Oli Scherer | -0/+3 | |
| 2022-09-19 | improve infer var handling for implied bounds | lcnr | -33/+36 | |
| 2022-07-26 | Use TraitEngine in more places that don't specifically need ↵ | Michael Goulet | -3/+2 | |
| FulfillmentCtxt::new_in_snapshot | ||||
| 2022-07-20 | Remove unused StableMap and StableSet types from rustc_data_structures | Michael Woerister | -1/+1 | |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -1/+1 | |
| 2022-06-28 | Make empty bounds lower to WellFormed and make WellFormed coinductive | Jack Huey | -3/+8 | |
| 2022-05-20 | Remove `crate` visibility usage in compiler | Jacob Pratt | -1/+1 | |
| 2022-02-11 | Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis" | Oli Scherer | -1/+0 | |
| This reverts commit e7cc3bddbe0d0e374d05e7003e662bba1742dbae, reversing changes made to 734368a200904ef9c21db86c595dc04263c87be0. | ||||
| 2022-02-02 | Lazily resolve type-alias-impl-trait defining uses | Oli Scherer | -0/+1 | |
| by using an opaque type obligation to bubble up comparisons between opaque types and other types Also uses proper obligation causes so that the body id works, because out of some reason nll uses body ids for logic instead of just diagnostics. | ||||
| 2021-12-30 | Removed `in_band_lifetimes` from `rustc_traits` | Anuvrat | -1/+1 | |
| 2021-11-08 | Make select_* methods return Vec for TraitEngine | Deadbeef | -3/+3 | |
| 2021-10-15 | Move some outlives bounds things from rustc_trait_selection to rustc_typeck | jackh726 | -1/+1 | |
| 2021-10-15 | Move push_outlives_components to rustc_infer | jackh726 | -2/+2 | |
| 2021-08-19 | introduce a Coerce predicate | Niko Matsakis | -0/+1 | |
| 2021-01-16 | Review changes | Jack Huey | -12/+12 | |
| 2021-01-16 | Use no_bound_vars | Jack Huey | -6/+4 | |
| 2021-01-16 | Cleanup | Jack Huey | -1/+1 | |
| 2021-01-16 | Remove PredicateKind | Jack Huey | -1/+1 | |
| 2021-01-16 | Intermediate formatting and such | Jack Huey | -8/+6 | |
| 2021-01-16 | Remove PredicateKind::Atom | Jack Huey | -2/+6 | |
| 2020-11-16 | compiler: fold by value | Bastian Kauschke | -1/+1 | |
| 2020-10-30 | Fix some more clippy warnings | Joshua Nelson | -1/+1 | |
| 2020-10-06 | Fix bugs in evaluating WellFormed predicates | Matthew Jasper | -2/+2 | |
| - List the nestsed obligations in an order that works with the single pass used by evaluation - Propagate recursion depth correctly | ||||
| 2020-09-09 | Remove def_id field from ParamEnv | Bram van den Heuvel | -1/+2 | |
| 2020-08-30 | mv compiler to compiler/ | mark | -0/+166 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |