| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-08-08 | Detect `*` operator on `!Sized` expression | Esteban Küber | -1/+1 |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -27/+26 |
| 2024-07-12 | enable fuzzing of `SearchGraph` | lcnr | -125/+0 |
| 2024-07-07 | Get rid of the redundant elaboration in middle | Michael Goulet | -63/+0 |
| 2024-06-27 | Make queries more explicit | Michael Goulet | -1/+1 |
| 2024-06-21 | Rename a bunch of things | Michael Goulet | -12/+10 |
| 2024-06-18 | Uplift PredefinedOpaquesData | Michael Goulet | -9/+3 |
| 2024-06-18 | Make SearchGraph fully generic | Michael Goulet | -18/+12 |
| 2024-06-16 | Uplift ExternalConstraintData | Michael Goulet | -24/+5 |
| 2024-06-16 | Make ExternalConstraints just carry outlives | Michael Goulet | -2/+1 |
| 2024-06-16 | Uplift Reveal to rustc_type_ir | Michael Goulet | -48/+1 |
| 2024-06-13 | Method resolution constrains hidden types instead of rejecting method candidates | Oli Scherer | -1/+1 |
| 2024-06-12 | Stop passing traitref/traitpredicate by ref | Michael Goulet | -1/+1 |
| 2024-06-06 | Uplift TypeError | Michael Goulet | -7/+0 |
| 2024-06-06 | Make middle not rely on next_trait_solver | Michael Goulet | -4/+4 |
| 2024-06-05 | Fully implement `ConstArgHasType` | Boxy | -0/+2 |
| 2024-05-24 | remove proof tree formatter, make em shallow | lcnr | -3/+3 |
| 2024-05-20 | move global cache lookup into fn | lcnr | -16/+18 |
| 2024-05-18 | Uplift inspect into rustc_type_ir | Michael Goulet | -516/+14 |
| 2024-05-18 | Uplift GenericArgKind, CanonicalVarValues, QueryInput | Michael Goulet | -31/+5 |
| 2024-05-16 | Uplift Goal to rustc_type_ir | Michael Goulet | -27/+2 |
| 2024-05-16 | Rename ToPredicate for Upcast | Michael Goulet | -8/+8 |
| 2024-05-13 | Use a proper probe for shadowing impl | Michael Goulet | -0/+5 |
| 2024-05-11 | Consolidate obligation cause codes for where clauses | Michael Goulet | -16/+9 |
| 2024-05-10 | Name tweaks | Michael Goulet | -7/+7 |
| 2024-05-10 | More rename fallout | Michael Goulet | -18/+19 |
| 2024-05-10 | Rename some ObligationCauseCode variants | Michael Goulet | -27/+20 |
| 2024-05-10 | Remove glob imports for ObligationCauseCode | Michael Goulet | -11/+12 |
| 2024-05-06 | Record impl args in the InsepctCandiate rather than rematching during select | Michael Goulet | -0/+5 |
| 2024-05-02 | Higher ranked goal source, do overflow handling less badly | Michael Goulet | -0/+3 |
| 2024-04-30 | Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-dead | Matthias Krüger | -2/+11 |
| 2024-04-29 | Take proof trees by value in inspect goal | Michael Goulet | -3/+3 |
| 2024-04-29 | Only register candidate if it is associated w a shallow certainty | Michael Goulet | -4/+4 |
| 2024-04-29 | Actually use probes when needed and stop relying on existing outer probes | Michael Goulet | -6/+9 |
| 2024-04-29 | Remove `extern crate smallvec` from a couple of crates. | Nicholas Nethercote | -1/+1 |
| 2024-04-29 | Remove `extern crate rustc_data_structures` from numerous crates. | Nicholas Nethercote | -1/+1 |
| 2024-04-29 | Remove `extern crate rustc_macros` from `rustc_middle`. | Nicholas Nethercote | -0/+9 |
| 2024-04-27 | Record certainty of evaluate_added_goals_and_make_canonical_response call in ... | Michael Goulet | -0/+9 |
| 2024-04-26 | Auto merge of #122385 - lcnr:analyze-obligations-for-infer, r=compiler-errors | bors | -0/+1 |
| 2024-04-25 | Rollup merge of #124381 - compiler-errors:derived-for-wf, r=lcnr | Michael Goulet | -2/+7 |
| 2024-04-25 | Renamed DerivedObligation to WellFormedDeriveObligation | Michael Goulet | -2/+7 |
| 2024-04-25 | hir typeck: look into nested goals | lcnr | -0/+1 |
| 2024-04-25 | Check closure args and returns are WF | Michael Goulet | -1/+1 |
| 2024-04-18 | Auto merge of #124008 - nnethercote:simpler-static_assert_size, r=Nilstrieb | bors | -1/+1 |
| 2024-04-18 | Simplify `static_assert_size`s. | Nicholas Nethercote | -1/+1 |
| 2024-04-16 | Avoid lots of `hir::HirId{,Map,Set}` qualifiers. | Nicholas Nethercote | -15/+16 |
| 2024-04-15 | Stop using PolyTraitRef for closure/coroutine predicates already instantiated... | Michael Goulet | -3/+2 |
| 2024-04-08 | Eliminate `DefiningAnchor` now that is just a single-variant enum | Oli Scherer | -30/+1 |
| 2024-04-08 | Pass list of defineable opaque types into canonical queries | Oli Scherer | -10/+8 |
| 2024-04-05 | Fix typo | Waffle Maybe | -1/+1 |
