| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-28 | Auto merge of #114134 - fee1-dead-contrib:rm-constness-from-param-env, r=oli-obk | bors | -8/+5 |
| 2023-07-27 | Remove `constness` from `ParamEnv` | Deadbeef | -8/+5 |
| 2023-07-27 | Consider a goal as NOT changed if its response is identity modulo regions | Michael Goulet | -1/+1 |
| 2023-07-27 | Revert "don't uniquify regions when canonicalizing" | Michael Goulet | -11/+14 |
| 2023-07-25 | Rollup merge of #113661 - oli-obk:tait_wtf, r=lcnr | Matthias Krüger | -0/+1 |
| 2023-07-25 | Make everything builtin! | Michael Goulet | -264/+211 |
| 2023-07-25 | Consolidate trait upcasting and unsize into one normalization | Michael Goulet | -197/+237 |
| 2023-07-25 | Restore tuple unsizing feature gate | Michael Goulet | -0/+3 |
| 2023-07-25 | Make sure to detect trait upcasting coercion even after normalization | Michael Goulet | -1/+7 |
| 2023-07-25 | Normalize the RHS of an unsize goal | Michael Goulet | -67/+139 |
| 2023-07-24 | Rollup merge of #113987 - compiler-errors:comments, r=lcnr | Matthias Krüger | -16/+64 |
| 2023-07-24 | lcnr's suggestions | Michael Goulet | -4/+5 |
| 2023-07-23 | more clippy::style fixes: | Matthias Krüger | -2/+2 |
| 2023-07-23 | Comment stuff in the new solver | Michael Goulet | -16/+63 |
| 2023-07-22 | Get rid of subst-relate incompleteness in new solver | Michael Goulet | -9/+12 |
| 2023-07-21 | Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk" | David Tolnay | -14/+3 |
| 2023-07-21 | Auto merge of #113922 - matthiaskrgr:rollup-90cj2vv, r=matthiaskrgr | bors | -13/+12 |
| 2023-07-21 | Double check that hidden types match the expected hidden type | Oli Scherer | -0/+1 |
| 2023-07-21 | new solver: add a separate cache for coherence | lcnr | -13/+12 |
| 2023-07-21 | Track ABI info. in `NaiveLayout`, and use it for `PointerLike` checks | Moulins | -3/+14 |
| 2023-07-20 | update doc comments | lcnr | -10/+17 |
| 2023-07-20 | review | lcnr | -4/+4 |
| 2023-07-20 | re-add comment | lcnr | -0/+6 |
| 2023-07-20 | assembly: only consider blanket impls once | lcnr | -68/+226 |
| 2023-07-20 | XSimplifiedType to SimplifiedType::X | lcnr | -1/+1 |
| 2023-07-17 | Rename arg_iter to iter_instantiated | Michael Goulet | -2/+3 |
| 2023-07-16 | Check GAT, IAT, and weak type where clauses during projection | Michael Goulet | -6/+34 |
| 2023-07-16 | Add support for inherent projections | Michael Goulet | -1/+44 |
| 2023-07-15 | Rollup merge of #113625 - compiler-errors:structurally-norm-in-selection, r=lcnr | Matthias Krüger | -6/+33 |
| 2023-07-14 | Auto merge of #113471 - compiler-errors:new-solver-norm-escaping, r=lcnr | bors | -2/+16 |
| 2023-07-14 | Structurally normalize in selection | Michael Goulet | -6/+33 |
| 2023-07-14 | assertion, comment | Michael Goulet | -0/+4 |
| 2023-07-14 | Allow escaping bound vars during normalize_erasing_regions in new solver | Michael Goulet | -2/+12 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -145/+136 |
| 2023-07-13 | Rollup merge of #113536 - lcnr:proof-tree-select, r=BoxyUwU | Matthias Krüger | -27/+21 |
| 2023-07-13 | Auto merge of #113637 - Mark-Simulacrum:bootstrap-bump, r=ozkanonur | bors | -98/+89 |
| 2023-07-13 | Rollup merge of #113353 - compiler-errors:select-better, r=lcnr | Matthias Krüger | -1/+144 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -98/+89 |
| 2023-07-10 | avoid building proof trees in select | lcnr | -27/+21 |
| 2023-07-08 | Rollup merge of #113335 - compiler-errors:reveal-opaques-in-new-solver, r=lcnr | Matthias Krüger | -3/+1 |
| 2023-07-08 | Implement selection for unsize for better coercion behavior | Michael Goulet | -1/+144 |
| 2023-07-07 | Normalize opaques during codegen in new solver | Michael Goulet | -3/+1 |
| 2023-07-07 | Auto merge of #113245 - lukas-code:unsizing-sanity-check, r=the8472 | bors | -7/+2 |
| 2023-07-07 | Auto merge of #113308 - compiler-errors:poly-select, r=lcnr | bors | -3/+3 |
| 2023-07-06 | Rollup merge of #113397 - compiler-errors:new-select-prefer-obj, r=lcnr | Michael Goulet | -0/+8 |
| 2023-07-06 | Don't call type_of on TAIT in defining scope in new solver | Michael Goulet | -1/+28 |
| 2023-07-06 | Separate select calls that don't need a binder | Michael Goulet | -1/+1 |
| 2023-07-06 | TraitObligation -> PolyTraitObligation | Michael Goulet | -3/+3 |
| 2023-07-06 | add helper methods for accessing struct tail | Lukas Markeffsky | -7/+2 |
| 2023-07-06 | Auto merge of #113406 - matthiaskrgr:rollup-0rprs5k, r=matthiaskrgr | bors | -4/+6 |
