| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -536/+513 |
| 2023-07-13 | Rollup merge of #113536 - lcnr:proof-tree-select, r=BoxyUwU | Matthias Krüger | -1/+1 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -121/+190 |
| 2023-07-12 | Flip cfg's for bootstrap bump | Mark Rousskov | -2/+2 |
| 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 | -1/+1 |
| 2023-07-08 | Replace RPITIT current impl with new strategy that lowers as a GAT | Santiago Pastorino | -153/+2 |
| 2023-07-08 | Rollup merge of #113005 - compiler-errors:dont-query-normalize, r=cjgillot | Matthias Krüger | -32/+34 |
| 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 | 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 | Auto merge of #113245 - lukas-code:unsizing-sanity-check, r=the8472 | bors | -6/+1 |
| 2023-07-07 | Require TAITs to be mentioned in the signatures of functions that register hi... | Oli Scherer | -1/+1 |
| 2023-07-06 | get rid of a bit more calls to poly_select | Michael Goulet | -4/+4 |
| 2023-07-06 | Separate select calls that don't need a binder | Michael Goulet | -24/+36 |
| 2023-07-06 | TraitObligation -> PolyTraitObligation | Michael Goulet | -64/+64 |
| 2023-07-06 | add helper methods for accessing struct tail | Lukas Markeffsky | -6/+1 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -44/+54 |
| 2023-07-05 | Rollup merge of #113321 - BoxyUwU:move_constkind_to_typeir, r=oli-obk | Michael Goulet | -3/+3 |
| 2023-07-05 | Rollup merge of #113320 - oli-obk:eval_obligation_query, r=petrochenkov,BoxyUwU | Michael Goulet | -18/+60 |
| 2023-07-05 | Rollup merge of #113319 - lcnr:type-param-def-def-id, r=compiler-errors | Michael Goulet | -2/+2 |
| 2023-07-05 | Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obk | Michael Goulet | -60/+72 |
| 2023-07-05 | Deal with fallout | Boxy | -3/+3 |
| 2023-07-05 | Make all generics_require_sized_self go through the query to get caching. | Oli Scherer | -3/+3 |
| 2023-07-05 | Add some extra information to opaque type cycle errors | Oli Scherer | -9/+57 |
| 2023-07-05 | Remove redundant `delay_span_bug` | Oli Scherer | -9/+3 |
| 2023-07-05 | Don't require associated types with `Self: Sized` bounds in `dyn Trait` objects | Oli Scherer | -1/+6 |
| 2023-07-04 | Auto merge of #113330 - matthiaskrgr:rollup-zm3owin, r=matthiaskrgr | bors | -1/+26 |
| 2023-07-04 | Rollup merge of #113296 - BoxyUwU:proof_trees_on_error, r=lcnr | Matthias Krüger | -1/+26 |
| 2023-07-04 | reviews | Boxy | -7/+5 |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -30/+28 |
| 2023-07-04 | `TypeParameterDefinition` always require a `DefId` | lcnr | -2/+2 |
| 2023-07-04 | extend comment | lcnr | -0/+5 |
| 2023-07-04 | -Ztrait-solver=next: stop depending on old solver | lcnr | -60/+67 |
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -27/+5 |
| 2023-07-03 | Remove chalk from the compiler | Michael Goulet | -163/+6 |
| 2023-07-03 | add flag for disabling global cache and printing proof trees on error | Boxy | -1/+28 |
| 2023-07-03 | Implement selection in new trait solver | Michael Goulet | -1/+6 |
| 2023-07-03 | review | lcnr | -2/+13 |
| 2023-07-03 | `deeply_normalize` pass in fulfill cx for old solver | lcnr | -12/+15 |
| 2023-07-03 | use `deeply_normalize` for `assumed_wf_types` | lcnr | -10/+26 |
| 2023-07-03 | add deep normalization via the new solver | lcnr | -6/+56 |
| 2023-07-01 | Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errors | bors | -79/+48 |
| 2023-06-29 | Auto merge of #113108 - compiler-errors:normalize-opaques-with-late-bound-var... | bors | -11/+2 |
| 2023-06-29 | change snapshot tracking in fulfillment contexts | lcnr | -79/+48 |
