| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-01-26 | fixup new usages of fn_sig, bound_fn_sig after rebasing | Kyle Matsuda | -1/+1 |
| 2023-01-26 | change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB... | Kyle Matsuda | -1/+1 |
| 2023-01-26 | replace usages of fn_sig query with bound_fn_sig | Kyle Matsuda | -1/+1 |
| 2023-01-26 | Make make_identity take CanonicalVarInfos | Michael Goulet | -21/+2 |
| 2023-01-26 | Intern CanonicalVarValues | Michael Goulet | -22/+19 |
| 2023-01-26 | Use new solver during selection | Michael Goulet | -14/+43 |
| 2023-01-26 | solver comments + remove `TyCtxt::evaluate_goal` | lcnr | -13/+11 |
| 2023-01-26 | Rollup merge of #107286 - compiler-errors:new-solver-deny-infers, r=lcnr | Matthias Krüger | -22/+33 |
| 2023-01-26 | Rollup merge of #107285 - compiler-errors:new-solver-future-and-generator, r=... | Matthias Krüger | -11/+184 |
| 2023-01-26 | Rollup merge of #107272 - compiler-errors:new-solver-more-predicates, r=lcnr | Matthias Krüger | -6/+63 |
