| Age | Commit message (Expand) | Author | Lines |
|---|
| 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-19 | Don't emit useless vptrs for marker traits | Maybe Waffle | -4/+21 |
| 2023-07-19 | Fix comment | Maybe Waffle | -1/+1 |
| 2023-07-19 | Simplify last `prepare_vtable_segments` loop even more | Maybe Waffle | -25/+22 |
| 2023-07-19 | Slightly refactor 'exiting_out loop in `prepare_vtable_segments` | Maybe Waffle | -20/+22 |
| 2023-07-19 | Refactor 'diving_in loop internals in `prepare_vtable_segments` | Maybe Waffle | -17/+17 |
| 2023-07-19 | Replace `if let` with `unwrap` in `prepare_vtable_segments` | Maybe Waffle | -25/+24 |
| 2023-07-19 | Use `?` in `prepare_vtable_segments` | Maybe Waffle | -9/+15 |
| 2023-07-19 | Auto merge of #113690 - aliemjay:opaque-defined-by-trait, r=compiler-errors | bors | -5/+6 |
| 2023-07-17 | Rename arg_iter to iter_instantiated | Michael Goulet | -3/+4 |
| 2023-07-17 | Rollup merge of #113651 - lcnr:parent-def-id, r=compiler-errors | Matthias Krüger | -7/+4 |
| 2023-07-17 | Auto merge of #113336 - compiler-errors:new-solver-iat, r=lcnr | bors | -5/+84 |
| 2023-07-16 | Auto merge of #113769 - matthiaskrgr:rollup-p6i1rco, r=matthiaskrgr | bors | -1/+1 |
| 2023-07-17 | Rollup merge of #113539 - agnarrarendelle:master, r=workingjubilee | Matthias Krüger | -1/+1 |
| 2023-07-16 | Auto merge of #113742 - compiler-errors:dont-short-circuit-intercrate-global-... | bors | -2/+2 |
| 2023-07-16 | Check GAT, IAT, and weak type where clauses during projection | Michael Goulet | -9/+45 |
| 2023-07-16 | Add support for inherent projections | Michael Goulet | -2/+45 |
| 2023-07-16 | stop mentioning number of applicate implementations | lcnr | -7/+4 |
| 2023-07-16 | Don't call predicate_must_hold during fulfillment in intercrate | Michael Goulet | -2/+2 |
| 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 | -22/+37 |
| 2023-07-14 | Structurally normalize in selection | Michael Goulet | -6/+33 |
| 2023-07-14 | Rollup merge of #113698 - compiler-errors:rpitit-check, r=spastorino | Matthias Krüger | -2/+2 |
| 2023-07-14 | Make it clearer that we're just checking for an RPITIT | Michael Goulet | -2/+2 |
| 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 | -22/+33 |
| 2023-07-14 | allow opaques to be defined by trait queries | Ali MJ Al-Nasrawy | -5/+6 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -681/+649 |
| 2023-07-13 | Rollup merge of #113536 - lcnr:proof-tree-select, r=BoxyUwU | Matthias Krüger | -28/+22 |
| 2023-07-13 | Auto merge of #113637 - Mark-Simulacrum:bootstrap-bump, r=ozkanonur | bors | -221/+281 |
| 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 | -219/+279 |
| 2023-07-12 | Flip cfg's for bootstrap bump | Mark Rousskov | -2/+2 |
| 2023-07-12 | fixed typos | agnarrarendelle | -1/+1 |
| 2023-07-11 | Auto merge of #113470 - compiler-errors:new-solver-structurally-resolve-pat, ... | bors | -0/+2 |
| 2023-07-11 | Structurally resolve in pattern matching when peeling refs in new solver | Michael Goulet | -0/+2 |
| 2023-07-10 | Auto merge of #112988 - spastorino:new-rpitit-24, r=compiler-errors | bors | -153/+2 |
| 2023-07-10 | avoid building proof trees in select | lcnr | -28/+22 |
| 2023-07-08 | Replace RPITIT current impl with new strategy that lowers as a GAT | Santiago Pastorino | -153/+2 |
| 2023-07-08 | Auto merge of #113491 - matthiaskrgr:rollup-mueqz7h, r=matthiaskrgr | bors | -32/+34 |
| 2023-07-08 | Rollup merge of #113005 - compiler-errors:dont-query-normalize, r=cjgillot | Matthias Krüger | -32/+34 |
| 2023-07-08 | Rollup merge of #113335 - compiler-errors:reveal-opaques-in-new-solver, r=lcnr | Matthias Krüger | -3/+1 |
| 2023-07-08 | Auto merge of #113474 - compiler-errors:rollup-07x1up7, r=compiler-errors | bors | -19/+1 |
| 2023-07-07 | Rollup merge of #113453 - spastorino:new-rpitit-30, r=compiler-errors | Michael Goulet | -19/+1 |
| 2023-07-08 | Implement selection for unsize for better coercion behavior | Michael Goulet | -1/+144 |
| 2023-07-08 | Auto merge of #112652 - oli-obk:tait_only_in_sig, r=compiler-errors | bors | -1/+1 |
| 2023-07-07 | Remove unused from_method symbol | Santiago Pastorino | -19/+1 |
| 2023-07-07 | Normalize opaques during codegen in new solver | Michael Goulet | -3/+1 |
