| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-24 | impl Ord for params and use unstable sort | Marijn Schouten | -1/+1 | |
| 2025-08-11 | Remove unnecessary trait predicate eq function | Michael Goulet | -33/+1 | |
| 2025-07-15 | Implement other logics | tiif | -0/+1 | |
| 2025-06-26 | Change const trait bound syntax from ~const to [const] | Oli Scherer | -4/+4 | |
| 2025-04-26 | convert some `GenericArg` to `Term` | lcnr | -1/+4 | |
| 2025-01-31 | Fix a comment typo. | Nicholas Nethercote | -1/+1 | |
| 2025-01-31 | Use `.and` chaining to improve readability. | Nicholas Nethercote | -6/+4 | |
| 2025-01-28 | Consolidate OutlivesEnv construction with resolve_regions | Michael Goulet | -6/+2 | |
| 2024-12-02 | Fix const specialization | Michael Goulet | -26/+0 | |
| 2024-11-22 | Simplify fulfill_implication | Michael Goulet | -7/+2 | |
| 2024-11-03 | Rename the FIXMEs, remove a few that dont matter anymore | Michael Goulet | -1/+1 | |
| 2024-10-29 | TypingMode :thinking: | lcnr | -3/+5 | |
| 2024-10-24 | Implement const effect predicate in new solver | Michael Goulet | -1/+2 | |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -2/+2 | |
| 2024-08-30 | Remove `#[macro_use] extern crate tracing` from `rustc_hir_analysis`. | Nicholas Nethercote | -0/+1 | |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -5/+4 | |
| The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options. | ||||
| 2024-07-21 | Move all error reporting into rustc_trait_selection | Michael Goulet | -1/+1 | |
| 2024-07-08 | Move trait selection error reporting to its own top-level module | Michael Goulet | -1/+1 | |
| 2024-06-03 | Opt-in diagnostics reporting to avoid doing extra work in the new solver | Michael Goulet | -1/+1 | |
| 2024-05-13 | Apply nits | Michael Goulet | -7/+4 | |
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -8/+8 | |
| 2024-05-11 | Consolidate obligation cause codes for where clauses | Michael Goulet | -1/+1 | |
| 2024-05-10 | Name tweaks | Michael Goulet | -1/+1 | |
| 2024-05-10 | More rename fallout | Michael Goulet | -1/+1 | |
| 2024-05-10 | Rename some ObligationCauseCode variants | Michael Goulet | -1/+1 | |
| 2024-02-20 | Use expand_weak_alias_tys when collecting constrained generics params in impls | León Orell Valerian Liehr | -5/+5 | |
| 2024-02-17 | Properly check constrainedness of gen params in the presence of weak alias types | León Orell Valerian Liehr | -4/+4 | |
| 2024-02-12 | Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obk | Matthias Krüger | -7/+7 | |
| Dejargonize `subst` In favor of #110793, replace almost every occurence of `subst` and `substitution` from rustc codes, but they still remains in subtrees under `src/tools/` like clippy and test codes (I'd like to replace them after this) | ||||
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -7/+7 | |
| 2024-02-12 | remove a bunch of dead parameters in fn | yukang | -5/+1 | |
| 2024-01-18 | Rollup merge of #119869 - oli-obk:track_errors2, r=matthewjasper | Matthias Krüger | -50/+82 | |
| replace `track_errors` usages with bubbling up `ErrorGuaranteed` more of the same as https://github.com/rust-lang/rust/pull/117449 (removing `track_errors`) | ||||
| 2024-01-17 | Add -Zno-implied-bounds-compat option and use it | Jack Huey | -2/+1 | |
| 2024-01-17 | Correctly handle normalization in implied bounds | Ali MJ Al-Nasrawy | -1/+2 | |
| Special-case Bevy dependents to not error | ||||
| 2024-01-17 | Move `check_mod_impl_wf` query call out of track_errors and bubble errors up ↵ | Oli Scherer | -50/+82 | |
| instead. | ||||
| 2023-12-24 | Remove `Session` methods that duplicate `DiagCtxt` methods. | Nicholas Nethercote | -8/+8 | |
| Also add some `dcx` methods to types that wrap `TyCtxt`, for easier access. | ||||
| 2023-10-13 | Format all the let chains in compiler | Michael Goulet | -1/+3 | |
| 2023-10-04 | Reorder fullfillment errors to keep more interesting ones first | Esteban Küber | -1/+1 | |
| In `report_fullfillment_errors` push back `T: Sized`, `T: WellFormed` and coercion errors to the end of the list. The pre-existing deduplication logic eliminates redundant errors better that way, keeping the resulting output with fewer errors than before, while also having more detail. | ||||
| 2023-09-29 | specialization: use clause | lcnr | -37/+23 | |
| 2023-08-02 | Remove constness from `TraitPredicate` | Deadbeef | -38/+4 | |
| 2023-07-25 | inline format!() args from rustc_codegen_llvm to the end (4) | Matthias Krüger | -2/+2 | |
| r? @WaffleLapkin | ||||
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -40/+40 | |
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -2/+1 | |
| 2023-07-03 | use `deeply_normalize` for `assumed_wf_types` | lcnr | -12/+10 | |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -1/+1 | |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -14/+18 | |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -13/+13 | |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -1/+1 | |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -1/+1 | |
| 2023-05-05 | Report nicer lifetime errors for specialization | Matthew Jasper | -3/+16 | |
| Add an obligation cause for these error so that the error points to the implementations that caused the error. | ||||
| 2023-05-05 | Disallow (min) specialization imps with no items | Matthew Jasper | -1/+14 | |
| Such implementations are usually mistakes and are not used in the compiler or standard library (after this commit) so forbid them with `min_specialization`. | ||||
