| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-05-19 | Make EvalCtxt generic over interner | Michael Goulet | -121/+138 |
| 2024-05-19 | Make search graph generic over interner | Michael Goulet | -53/+63 |
| 2024-05-19 | Auto merge of #125006 - spastorino:generics-is-empty, r=compiler-errors | bors | -3/+3 |
| 2024-05-19 | Add and use generics.is_empty() and generics.is_own_empty, rather than using ... | Santiago Pastorino | -3/+3 |
| 2024-05-19 | Actually use the `#[do_not_recommend]` attribute if present | Georg Semmler | -0/+26 |
| 2024-05-19 | Auto merge of #125230 - compiler-errors:uplift-query-stuff, r=lcnr | bors | -181/+211 |
| 2024-05-18 | Auto merge of #125257 - jieyouxu:rollup-11evnm9, r=jieyouxu | bors | -1/+11 |
| 2024-05-18 | Move NormalizesTo back down | Michael Goulet | -5/+9 |
| 2024-05-18 | Stop using def_kind() in solver | Michael Goulet | -17/+8 |
| 2024-05-18 | Make proof tree building generic | Michael Goulet | -93/+109 |
| 2024-05-18 | Uplift inspect into rustc_type_ir | Michael Goulet | -62/+78 |
| 2024-05-18 | Uplift GenericArgKind, CanonicalVarValues, QueryInput | Michael Goulet | -19/+22 |
| 2024-05-18 | Rollup merge of #125214 - compiler-errors:gat-guide, r=lcnr | 许杰友 Jieyou Xu (Joe) | -1/+11 |
| 2024-05-18 | Auto merge of #125077 - spastorino:add-new-fnsafety-enum2, r=jackh726 | bors | -7/+7 |
| 2024-05-18 | An async closure may implement FnMut/Fn if it has no self-borrows | Michael Goulet | -20/+8 |
| 2024-05-17 | Rename Unsafe to Safety | Santiago Pastorino | -7/+7 |
| 2024-05-17 | to_opt_poly_X_pred -> as_X_clause | Michael Goulet | -13/+13 |
| 2024-05-17 | Only make GAT ambiguous in match_projection_projections considering shallow r... | Michael Goulet | -1/+11 |
| 2024-05-17 | Rollup merge of #125191 - compiler-errors:wf, r=lcnr | Matthias Krüger | -20/+57 |
| 2024-05-16 | Report better WF obligation leaf obligations in new solver | Michael Goulet | -20/+57 |
| 2024-05-16 | Remove trivial Binder::dummy calls | Michael Goulet | -4/+4 |
| 2024-05-16 | Uplift Goal to rustc_type_ir | Michael Goulet | -10/+11 |
| 2024-05-16 | Make impls UpcastFrom, implement Upcast for UpcastFrom | Michael Goulet | -1/+1 |
| 2024-05-16 | Make P parameter explicit | Michael Goulet | -9/+7 |
| 2024-05-16 | Rename ToPredicate for Upcast | Michael Goulet | -63/+61 |
| 2024-05-16 | Don't ICE because recomputing overflow goals during find_best_leaf_obligation... | Michael Goulet | -41/+64 |
| 2024-05-13 | Use a proper probe for shadowing impl | Michael Goulet | -22/+34 |
| 2024-05-13 | Auto merge of #125076 - compiler-errors:alias-term, r=lcnr | bors | -196/+180 |
| 2024-05-13 | Apply nits | Michael Goulet | -28/+4 |
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -194/+202 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_trait_selection`. | Nicholas Nethercote | -2/+29 |
| 2024-05-12 | Rollup merge of #125036 - lcnr:new-solver-trace, r=compiler-errors | Guillaume Gomez | -53/+56 |
| 2024-05-12 | structurally important functions to `debug` | lcnr | -10/+13 |
| 2024-05-12 | solve: replace all `debug` with `trace` | lcnr | -63/+63 |
| 2024-05-11 | Apply nits, uplift ExistentialPredicate too | Michael Goulet | -1/+2 |
| 2024-05-11 | Uplift `TraitPredicate` | Michael Goulet | -2/+5 |
| 2024-05-11 | Consolidate obligation cause codes for where clauses | Michael Goulet | -49/+35 |
| 2024-05-10 | Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnr | bors | -47/+75 |
| 2024-05-10 | Lift `TraitRef` into `rustc_type_ir` | Michael Goulet | -46/+72 |
| 2024-05-10 | Lift `Lift` | Michael Goulet | -1/+3 |
| 2024-05-10 | Name tweaks | Michael Goulet | -32/+34 |
| 2024-05-10 | More rename fallout | Michael Goulet | -32/+31 |
| 2024-05-10 | Rename some ObligationCauseCode variants | Michael Goulet | -100/+82 |
| 2024-05-10 | Remove glob imports for ObligationCauseCode | Michael Goulet | -52/+59 |
| 2024-05-10 | rename some variants in FulfillmentErrorCode | Michael Goulet | -41/+28 |
| 2024-05-10 | Auto merge of #124961 - matthiaskrgr:rollup-1jj65p6, r=matthiaskrgr | bors | -78/+55 |
| 2024-05-10 | Rollup merge of #124955 - nnethercote:next_ty_var, r=lcnr | Matthias Krüger | -55/+15 |
| 2024-05-10 | Rollup merge of #124943 - lcnr:generic-args-ref, r=compiler-errors | Matthias Krüger | -2/+2 |
| 2024-05-10 | Rollup merge of #124936 - lcnr:cool-beans, r=compiler-errors | Matthias Krüger | -11/+34 |
| 2024-05-10 | Rollup merge of #124918 - nnethercote:FIXME-lcnr, r=lcnr | Matthias Krüger | -10/+4 |
