| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-05-27 | Don't use outlives type op outside of MIR typeck | Michael Goulet | -14/+23 |
| 2023-05-27 | Uplift complex type ops back into typeck so we can call them locally | Michael Goulet | -17/+558 |
| 2023-05-27 | Perform MIR type ops locally in new solver | Michael Goulet | -1/+94 |
| 2023-05-25 | Fallible<_> -> Result<_, NoSolution> | Michael Goulet | -33/+36 |
| 2023-05-25 | Use ErrorGuaranteed more in MIR type ops | Michael Goulet | -21/+39 |
| 2023-05-25 | Move DefiningAnchor | Michael Goulet | -1/+2 |
| 2023-05-25 | Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu... | Michael Goulet | -2/+4 |
| 2023-05-24 | Rollup merge of #111912 - WaffleLapkin:is_some_and_in_the_compiler, r=petroch... | Manish Goregaokar | -6/+6 |
| 2023-05-24 | Use ObligationCtxt in custom type ops | Michael Goulet | -27/+27 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -6/+6 |
| 2023-05-24 | Rollup merge of #111880 - compiler-errors:pointer-like-param-env, r=jackh726 | Matthias Krüger | -5/+7 |
| 2023-05-23 | Don't ICE when computing PointerLike trait when region vars are in param-env | Michael Goulet | -5/+7 |
| 2023-05-23 | Rollup merge of #111704 - compiler-errors:sized-return-cleanup, r=oli-obk | Dylan DPC | -230/+49 |
| 2023-05-23 | Auto merge of #110204 - compiler-errors:new-solver-hir-typeck-hacks, r=lcnr | bors | -0/+57 |
| 2023-05-22 | Structurally normalize in the new solver | Michael Goulet | -0/+57 |
| 2023-05-22 | Auto merge of #111848 - Dylan-DPC:rollup-7jqydzg, r=Dylan-DPC | bors | -0/+8 |
| 2023-05-23 | Rollup merge of #111612 - ChayimFriedman2:collect-into-slice-ref, r=petrochenkov | Dylan DPC | -0/+8 |
| 2023-05-19 | update recursion depth in `confirm_candidate` | lcnr | -0/+6 |
| 2023-05-19 | Auto merge of #110100 - compiler-errors:no-infer-pred-must-hold, r=jackh726 | bors | -23/+32 |
| 2023-05-18 | Rollup merge of #111695 - fmease:dont-lump-together-alias-tys, r=compiler-errors | Dylan DPC | -4/+13 |
| 2023-05-18 | Rollup merge of #111633 - nnethercote:avoid-ref-format, r=WaffleLapkin | Dylan DPC | -1/+1 |
| 2023-05-18 | Simplify suggestion when returning bare dyn trait | Michael Goulet | -230/+49 |
| 2023-05-17 | Exclude inherent projections from some alias ty matches | León Orell Valerian Liehr | -4/+13 |
| 2023-05-16 | Rollup merge of #111533 - clubby789:drop-tracking-error, r=oli-obk | Matthias Krüger | -2/+1 |
| 2023-05-16 | Rollup merge of #111602 - tmiasko:erroneous-constant-used, r=oli-obk | Nilstrieb | -4/+4 |
| 2023-05-16 | Avoid `&format("...")` calls in error message code. | Nicholas Nethercote | -1/+1 |
| 2023-05-15 | Give better error when collecting into `&[T]` | Chayim Refael Friedman | -0/+8 |
| 2023-05-15 | Move expansion of query macros in rustc_middle to rustc_middle::query | John Kåre Alsaker | -7/+9 |
| 2023-05-15 | Suppress "erroneous constant used" for constants tainted by errors | Tomasz Miąsko | -4/+4 |
| 2023-05-13 | Handle error body when in generator layout | clubby789 | -2/+1 |
| 2023-05-12 | do not allow inference in `pred_known_to_hold_modulo_regions` | Michael Goulet | -21/+23 |
| 2023-05-12 | EvaluateToAmbig if evaluate_root_obligation does inference | Michael Goulet | -3/+10 |
| 2023-05-12 | Note base types of coercion | Michael Goulet | -51/+50 |
| 2023-05-11 | Auto merge of #111029 - Nilstrieb:when-the-errs-are-too-big, r=petrochenkov | bors | -7/+19 |
| 2023-05-09 | Rename `expected_trait_ref` to `self_ty_trait_ref` | Nilstrieb | -2/+2 |
| 2023-05-09 | Shrink `SelectionError` a lot | Nilstrieb | -5/+17 |
| 2023-05-09 | Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errors | Dylan DPC | -22/+59 |
| 2023-05-08 | Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errors | Michael Goulet | -50/+242 |
| 2023-05-07 | Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillot | bors | -1/+1 |
| 2023-05-06 | Rollup merge of #110577 - compiler-errors:drop-impl-fulfill, r=lcnr | Matthias Krüger | -1/+2 |
| 2023-05-05 | Report nicer lifetime errors for specialization | Matthew Jasper | -7/+39 |
| 2023-05-05 | Normalize consistently for specializations | Matthew Jasper | -17/+22 |
| 2023-05-05 | forbid escaping bound vars in combine | lcnr | -117/+38 |
| 2023-05-04 | Use fulfillment to check Drop impl compatibility | Michael Goulet | -1/+2 |
| 2023-05-04 | IAT: Proper WF computation | León Orell Valerian Liehr | -54/+99 |
| 2023-05-04 | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | -21/+168 |
| 2023-05-04 | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr | bors | -51/+60 |
| 2023-05-03 | Rename things to reflect that they're not item specific | Michael Goulet | -1/+1 |
| 2023-05-04 | Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obk | Dylan DPC | -0/+24 |
| 2023-05-03 | Restrict `From<S>` for `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -90/+88 |
