| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-02-03 | Use new helper inside probe | Wilco Kusee | -6/+2 |
| 2023-02-01 | Improve pretty-printing of `HirIdValidator` errors | Arpad Borsos | -1/+1 |
| 2023-02-01 | Simplify discriminant_kind goal using new helper function | Wilco Kusee | -14/+7 |
| 2023-02-01 | Add candidates for DiscriminantKind builtin | Wilco Kusee | -0/+36 |
| 2023-01-31 | Rollup merge of #107486 - compiler-errors:bound-ty-keep-name, r=oli-obk | Guillaume Gomez | -2/+2 |
| 2023-01-31 | Rollup merge of #107467 - WaffleLapkin:uneq, r=oli-obk | Guillaume Gomez | -14/+17 |
| 2023-01-31 | Rollup merge of #107348 - lcnr:project-solve-new, r=compiler-errors | Guillaume Gomez | -45/+86 |
| 2023-01-31 | Auto merge of #106399 - estebank:type-err-span-label, r=nagisa | bors | -3/+9 |
| 2023-01-31 | Rollup merge of #107479 - compiler-errors:probe-can-call-ocx, r=BoxyUwU | Yuki Okushi | -1/+1 |
| 2023-01-30 | Track bound types like bound regions | Michael Goulet | -2/+2 |
| 2023-01-30 | Tweak E0271 wording | Esteban Küber | -2/+6 |
| 2023-01-30 | Modify primary span label for E0308 | Esteban Küber | -1/+3 |
| 2023-01-30 | nits | Michael Goulet | -16/+16 |
| 2023-01-30 | Trait upcasting support in new solver | Michael Goulet | -59/+107 |
| 2023-01-30 | Implement unsizing in the new trait solver | Michael Goulet | -0/+192 |
| 2023-01-30 | Use ObligationCtxt::new_in_snapshot in satisfied_from_param_env | Michael Goulet | -1/+1 |
| 2023-01-30 | Replace enum `==`s with `match`es where it makes sense | Maybe Waffle | -14/+17 |
| 2023-01-30 | Rollup merge of #107146 - compiler-errors:unsizing-params, r=cjgillot | Dylan DPC | -44/+10 |
| 2023-01-29 | Auto merge of #106253 - nbdd0121:upcast, r=compiler-errors | bors | -20/+39 |
| 2023-01-29 | Rollup merge of #107401 - lenko-d:remove_the_usize_field_from_CandidateSource... | Matthias Krüger | -8/+5 |
| 2023-01-28 | Make unsizing_params_for_adt into a query | Michael Goulet | -44/+10 |
| 2023-01-28 | Auto merge of #107303 - compiler-errors:intern-canonical-var-values, r=lcnr | bors | -26/+4 |
| 2023-01-28 | Auto merge of #107206 - cjgillot:no-h2l-map, r=WaffleLapkin | bors | -9/+6 |
| 2023-01-28 | Rename `is_object_safe` to `check_is_object_safe` to hint side effects | Gary Guo | -8/+11 |
| 2023-01-28 | Make `is_object_safe` a query and move lint_object_unsafe_trait call there | Gary Guo | -14/+32 |
| 2023-01-28 | Replace `object_safety_violations().is_empty()` calls with `is_object_safe` | Gary Guo | -3/+1 |
| 2023-01-28 | Use field-less variant for AliasBound. | Lenko Donchev | -6/+5 |
| 2023-01-28 | Rollup merge of #107398 - scottmcm:its-their-funeral, r=dtolnay | Matthias Krüger | -4/+4 |
| 2023-01-28 | Remove `HirId -> LocalDefId` map from HIR. | Camille GILLOT | -9/+6 |
| 2023-01-27 | remove the usize field from CandidateSource::AliasBound | Lenko Donchev | -7/+5 |
| 2023-01-28 | Rollup merge of #107344 - compiler-errors:new-solver-tweaks, r=lcnr | Matthias Krüger | -23/+54 |
| 2023-01-28 | Rollup merge of #107306 - compiler-errors:correct-sugg-for-closure-arg-needs-... | Matthias Krüger | -10/+20 |
| 2023-01-28 | Rollup merge of #107103 - compiler-errors:new-solver-evaluate_obligation, r=lcnr | Matthias Krüger | -6/+37 |
| 2023-01-27 | Remove `ControlFlow::{BREAK, CONTINUE}` | Scott McMurray | -4/+4 |
| 2023-01-28 | Auto merge of #101692 - cjgillot:generator-lazy-witness, r=oli-obk | bors | -40/+257 |
| 2023-01-27 | Pacify tidy. | Camille GILLOT | -5/+5 |
| 2023-01-27 | Restrict amount of ignored locals. | Camille GILLOT | -1/+1 |
| 2023-01-27 | Compute generator saved locals on MIR. | Camille GILLOT | -9/+184 |
| 2023-01-27 | Micro-optimization in consider_assumption | Michael Goulet | -2/+6 |
| 2023-01-27 | Add some comments | Michael Goulet | -0/+31 |
| 2023-01-27 | No need to probe when computing goals | Michael Goulet | -21/+17 |
| 2023-01-27 | Introduce GeneratorWitnessMIR. | Camille GILLOT | -3/+33 |
| 2023-01-27 | Separate trait selection from ambiguity reporting. | Camille GILLOT | -23/+3 |
| 2023-01-27 | Do not abort compilation when failing to normalize opaque types. | Camille GILLOT | -11/+43 |
| 2023-01-27 | Use now solver in evaluate_obligation | Michael Goulet | -6/+37 |
| 2023-01-27 | Auto merge of #107372 - JohnTitor:rollup-zkl2ges, r=JohnTitor | bors | -13/+11 |
| 2023-01-28 | Rollup merge of #107321 - lcnr:comment, r=compiler-errors | Yuki Okushi | -13/+11 |
| 2023-01-27 | Auto merge of #107055 - kylematsuda:eb-fn-sig, r=lcnr | bors | -2/+2 |
| 2023-01-27 | assert that solver results are stable | lcnr | -8/+46 |
| 2023-01-27 | small refactor to new projection code | lcnr | -37/+40 |
