| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-03-27 | Rollup merge of #109641 - compiler-errors:dont-elaborate-non-obl, r=oli-obk | Matthias Krüger | -39/+34 |
| 2023-03-26 | Don't elaborate non-obligations into obligations | Michael Goulet | -39/+34 |
| 2023-03-26 | resolve regions before implied bounds | Ali MJ Al-Nasrawy | -5/+7 |
| 2023-03-26 | remove obsolete `givens` from regionck | Ali MJ Al-Nasrawy | -2/+0 |
| 2023-03-25 | Still-further-specializable projections are ambiguous | Michael Goulet | -1/+1 |
| 2023-03-25 | Remove some stale FIXMEs in new solver | Michael Goulet | -6/+0 |
| 2023-03-24 | Make EvalCtxt's infcx private | Michael Goulet | -75/+134 |
| 2023-03-24 | Rollup merge of #109495 - compiler-errors:new-solver-destruct, r=eholk,lcnr | Matthias Krüger | -0/+28 |
| 2023-03-24 | Auto merge of #109547 - matthiaskrgr:rollup-zczqgdk, r=matthiaskrgr | bors | -48/+56 |
| 2023-03-24 | Rollup merge of #109493 - compiler-errors:new-solver-vars-obligations, r=lcnr | Matthias Krüger | -46/+44 |
| 2023-03-24 | Rollup merge of #108961 - compiler-errors:refine-ct-errors, r=BoxyUwU | Matthias Krüger | -2/+12 |
| 2023-03-23 | Auto merge of #109202 - compiler-errors:new-solver-fast-reject-faster-2, r=lcnr | bors | -19/+9 |
| 2023-03-23 | Use fulfillment in InferCtxt::evaluate_obligation | Michael Goulet | -30/+15 |
| 2023-03-23 | Note type mismatch on ConstArgHasType | Michael Goulet | -2/+12 |
| 2023-03-23 | Return nested obligations from canonical response var unification | Michael Goulet | -25/+38 |
| 2023-03-23 | Don't split up TreatProjections and TreatParams anymore | Michael Goulet | -19/+9 |
| 2023-03-23 | Rollup merge of #109472 - MU001999:patch-3, r=eholk | Matthias Krüger | -7/+25 |
| 2023-03-23 | Auto merge of #109517 - matthiaskrgr:rollup-m3orqzd, r=matthiaskrgr | bors | -61/+121 |
| 2023-03-23 | Rollup merge of #109462 - compiler-errors:alias-relate, r=BoxyUwU,lcnr | Matthias Krüger | -61/+121 |
| 2023-03-23 | Auto merge of #109503 - matthiaskrgr:rollup-cnp7kdd, r=matthiaskrgr | bors | -49/+123 |
| 2023-03-23 | Remove AliasRelationDirection::Supertype | Michael Goulet | -67/+69 |
| 2023-03-23 | Rename AliasEq -> AliasRelate | Michael Goulet | -23/+27 |
| 2023-03-23 | Include relation direction in AliasEq predicate | Michael Goulet | -26/+80 |
| 2023-03-23 | Use span_look_ahead instead of next_point | Mu42 | -6/+3 |
| 2023-03-22 | Rollup merge of #109447 - lcnr:coherence, r=compiler-errors | Matthias Krüger | -49/+123 |
| 2023-03-22 | Implement non-const Destruct trait in new solver | Michael Goulet | -0/+28 |
| 2023-03-22 | review | lcnr | -2/+1 |
| 2023-03-22 | stop special-casing `'static` in evaluate | lcnr | -78/+86 |
| 2023-03-22 | `HirId` to `LocalDefId` cleanup | lcnr | -5/+4 |
| 2023-03-22 | Fixes #109436: add parentheses properly | Mu42 | -7/+28 |
| 2023-03-22 | Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errors | bors | -222/+89 |
| 2023-03-21 | Rollup merge of #109446 - spastorino:new-rpitit-17, r=compiler-errors | Matthias Krüger | -0/+1 |
| 2023-03-21 | Rollup merge of #109441 - oli-obk:fn_trait_new_solver, r=compiler-errors | Matthias Krüger | -26/+32 |
| 2023-03-21 | Rollup merge of #109336 - compiler-errors:constrain-to-ct-err, r=BoxyUwU | Matthias Krüger | -1/+5 |
| 2023-03-21 | Do not suggest bounds restrictions for synthesized RPITITs | Santiago Pastorino | -0/+1 |
| 2023-03-21 | disable global caching during coherence | lcnr | -1/+2 |
| 2023-03-21 | enable `intercrate` in the solver `InferCtxt` | lcnr | -6/+18 |
| 2023-03-21 | new solver cleanup + coherence | lcnr | -42/+103 |
| 2023-03-21 | Rollup merge of #108896 - BoxyUwU:new_solver_add_goal_fn, r=lcnr | nils | -443/+531 |
| 2023-03-21 | Also check function items' signatures for Fn* trait compatibility | Oli Scherer | -5/+14 |
| 2023-03-21 | Deduplicate fn trait compatibility checks | Oli Scherer | -28/+8 |
| 2023-03-21 | Only implement Fn* traits for extern "Rust" safe function pointers. | Oli Scherer | -1/+18 |
| 2023-03-21 | evaluate: improve and fix recursion depth handling | lcnr | -52/+19 |
| 2023-03-21 | remove some trait solver helpers | lcnr | -170/+70 |
| 2023-03-20 | Enforce non-lifetime-binders in supertrait preds are not object safe | Michael Goulet | -1/+20 |
| 2023-03-19 | Delay overlap errors if errors are involved | Michael Goulet | -1/+5 |
| 2023-03-17 | Fast path that skips over unchanged obligations in process_obligations | The 8472 | -0/+23 |
| 2023-03-17 | move `compute_goal` and `evaluate_x` methods to inner module | Boxy | -272/+272 |
| 2023-03-17 | fix bad assertion | Boxy | -13/+4 |
| 2023-03-17 | replace chain with two `add_goal` | Boxy | -16/+11 |
