| 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-27 | Rollup merge of #111987 - lcnr:alias-relate-coherence, r=BoxyUwU | Matthias Krüger | -9/+25 |
| 2023-05-26 | remove unnecessary `.ok()` calls | lcnr | -6/+14 |
| 2023-05-26 | do not prefer substs relate during coherence | lcnr | -3/+11 |
| 2023-05-25 | Fallible<_> -> Result<_, NoSolution> | Michael Goulet | -38/+41 |
| 2023-05-25 | Use ErrorGuaranteed more in MIR type ops | Michael Goulet | -21/+39 |
| 2023-05-25 | Match on both reveal and solver mode at the same time | Michael Goulet | -41/+38 |
| 2023-05-25 | Add InferCtxt::register_hidden_type_in_new_solver | Michael Goulet | -40/+24 |
| 2023-05-25 | Strongly prefer alias and param-env bounds | Michael Goulet | -5/+9 |
| 2023-05-25 | Pre-populate MIR with opaques, prefer subst-relate candidate | Michael Goulet | -28/+25 |
| 2023-05-25 | Check that opaque is a defining use, prefer pre-defined opaques | Michael Goulet | -14/+91 |
| 2023-05-25 | Prepopulate opaques in canonical input | Michael Goulet | -77/+170 |
| 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 | -6/+60 |
| 2023-05-24 | Rollup merge of #111912 - WaffleLapkin:is_some_and_in_the_compiler, r=petroch... | Manish Goregaokar | -7/+7 |
| 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 | -7/+7 |
| 2023-05-24 | Rollup merge of #111880 - compiler-errors:pointer-like-param-env, r=jackh726 | Matthias Krüger | -10/+16 |
| 2023-05-23 | Don't ICE when computing PointerLike trait when region vars are in param-env | Michael Goulet | -10/+16 |
| 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 | -5/+16 |
| 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 | -5/+16 |
| 2023-05-16 | Rollup merge of #111533 - clubby789:drop-tracking-error, r=oli-obk | Matthias Krüger | -2/+1 |
| 2023-05-16 | Use error term if missing associated item in new solver | Michael Goulet | -1/+15 |
| 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 | Consolidate the 'match assumption' type methods in GoalKind | Michael Goulet | -140/+47 |
| 2023-05-09 | Make alias bounds sound in the new solver | Michael Goulet | -2/+162 |
| 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 | -52/+252 |
