| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-08-15 | Revert "Auto merge of #125915 - camelid:const-arg-refactor, r=BoxyUwU" | Boxy | -14/+2 |
| 2024-07-16 | Add `ConstArgKind::Path` and make `ConstArg` its own HIR node | Noah Lev | -2/+14 |
| 2024-07-05 | Use `ControlFlow` results for visitors that are only looking for a single value | Oli Scherer | -2/+0 |
| 2024-07-03 | Auto merge of #123737 - compiler-errors:alias-wf, r=lcnr | bors | -9/+3 |
| 2024-06-03 | Align Term methods with GenericArg methods | Michael Goulet | -1/+1 |
| 2024-05-21 | Okay actually check only alias TYPES | Michael Goulet | -9/+3 |
| 2024-05-17 | to_opt_poly_X_pred -> as_X_clause | Michael Goulet | -1/+1 |
| 2024-05-13 | Auto merge of #125076 - compiler-errors:alias-term, r=lcnr | bors | -7/+10 |
| 2024-05-13 | Apply nits | Michael Goulet | -25/+1 |
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -7/+34 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+1 |
| 2024-05-11 | Consolidate obligation cause codes for where clauses | Michael Goulet | -5/+1 |
| 2024-05-10 | Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnr | bors | -2/+5 |
| 2024-05-10 | Lift `TraitRef` into `rustc_type_ir` | Michael Goulet | -2/+5 |
| 2024-05-10 | Name tweaks | Michael Goulet | -2/+2 |
| 2024-05-10 | More rename fallout | Michael Goulet | -2/+2 |
| 2024-05-10 | Rename some ObligationCauseCode variants | Michael Goulet | -3/+3 |
| 2024-05-10 | Remove glob imports for ObligationCauseCode | Michael Goulet | -19/+20 |
| 2024-04-25 | Renamed DerivedObligation to WellFormedDeriveObligation | Michael Goulet | -1/+1 |
| 2024-04-15 | Simplify shallow resolver to just fold ty/consts | Michael Goulet | -1/+1 |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -0/+4 |
| 2024-04-05 | ping on wf changes, remove fixme | lcnr | -2/+0 |
| 2024-04-04 | rebase | Boxy | -2/+2 |
| 2024-04-04 | check `FnDef` return type for WF | lcnr | -7/+21 |
| 2024-03-22 | Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgr | bors | -1/+1 |
| 2024-03-22 | Split out ImplPolarity and PredicatePolarity | Michael Goulet | -1/+1 |
| 2024-03-22 | Programmatically convert some of the pat ctors | Michael Goulet | -1/+1 |
| 2024-03-14 | Consolidate WF for aliases | Michael Goulet | -20/+8 |
| 2024-03-08 | Replace `TypeWalker` usage with `TypeVisitor` | Shoyu Vanilla | -300/+301 |
| 2024-03-04 | address review feedback | Lukas Markeffsky | -2/+5 |
| 2024-03-04 | adjust obligation spans for super projections | Lukas Markeffsky | -35/+57 |
| 2024-02-19 | split `project` into multiple files | lcnr | -1/+1 |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -1/+1 |
| 2024-02-06 | More comments, final tweaks | Michael Goulet | -1/+1 |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -0/+8 |
| 2023-12-06 | Only check principal trait ref for object safety | Michael Goulet | -10/+7 |
| 2023-11-21 | Fix `clippy::needless_borrow` in the compiler | Nilstrieb | -1/+1 |
| 2023-11-12 | Small improvements in object lifetime default code | Nilstrieb | -7/+2 |
| 2023-10-20 | s/generator/coroutine/ | Oli Scherer | -2/+2 |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -2/+2 |
| 2023-10-13 | Format all the let chains in compiler | Michael Goulet | -3/+3 |
| 2023-09-29 | a small wf and clause cleanup | lcnr | -30/+22 |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -1/+0 |
| 2023-08-02 | Remove constness from `TraitPredicate` | Deadbeef | -33/+7 |
| 2023-07-17 | Rollup merge of #113539 - agnarrarendelle:master, r=workingjubilee | Matthias Krüger | -1/+1 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -36/+35 |
| 2023-07-12 | fixed typos | agnarrarendelle | -1/+1 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -1/+1 |
| 2023-07-05 | Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obk | Michael Goulet | -0/+10 |
| 2023-07-04 | extend comment | lcnr | -0/+5 |
