| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-05 | Rollup merge of #113337 - compiler-errors:next-solver-winnow-specializing, r=... | Michael Goulet | -2/+13 |
| 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/+74 |
| 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-05 | Winnow specializing impls | Michael Goulet | -2/+13 |
| 2023-07-05 | Auto merge of #113329 - lcnr:probe_candidate, r=BoxyUwU | bors | -298/+280 |
| 2023-07-04 | Auto merge of #113330 - matthiaskrgr:rollup-zm3owin, r=matthiaskrgr | bors | -42/+187 |
| 2023-07-04 | Rollup merge of #113324 - lcnr:const-evaluatable-goal, r=BoxyUwU | Matthias Krüger | -6/+42 |
| 2023-07-04 | Rollup merge of #113296 - BoxyUwU:proof_trees_on_error, r=lcnr | Matthias Krüger | -32/+132 |
| 2023-07-04 | Rollup merge of #113192 - lcnr:add-comment, r=compiler-errors | Matthias Krüger | -4/+13 |
| 2023-07-04 | add `ecx.probe_candidate` | lcnr | -298/+280 |
| 2023-07-04 | reviews | Boxy | -90/+84 |
| 2023-07-04 | implement `ConstEvaluatable` goals in new solver | lcnr | -6/+42 |
| 2023-07-04 | Replace `const_error` methods with `Const::new_error` | Boxy | -6/+5 |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -34/+32 |
| 2023-07-04 | `TypeParameterDefinition` always require a `DefId` | lcnr | -2/+2 |
| 2023-07-04 | move logic for flags into separate function | Boxy | -30/+35 |
| 2023-07-04 | extend comment | lcnr | -0/+5 |
| 2023-07-04 | change flag name | Boxy | -1/+1 |
| 2023-07-04 | reviews | Boxy | -3/+1 |
| 2023-07-04 | -Ztrait-solver=next: stop depending on old solver | lcnr | -60/+69 |
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -30/+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 | -46/+149 |
| 2023-07-03 | Helpers for creating EvalCtxts, some comments | Michael Goulet | -153/+174 |
| 2023-07-03 | Implement selection in new trait solver | Michael Goulet | -21/+352 |
| 2023-07-03 | rebase | lcnr | -2/+2 |
| 2023-07-03 | review | lcnr | -16/+25 |
| 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/+280 |
| 2023-07-03 | add instrument to `register_predicate_obligation` | lcnr | -0/+1 |
| 2023-07-01 | Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errors | bors | -82/+59 |
| 2023-06-30 | assemble_candidates_after_normalizing_self_ty docs | lcnr | -4/+13 |
| 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 | -82/+59 |
| 2023-06-28 | Rollup merge of #112867 - compiler-errors:more-impl-source-nits, r=lcnr | Dylan DPC | -66/+43 |
| 2023-06-27 | Normalize opaques with escaping bound vars | Michael Goulet | -11/+2 |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -16/+20 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -134/+90 |
| 2023-06-23 | Rollup merge of #112965 - compiler-errors:circular-wf, r=aliemjay | Michael Goulet | -2/+10 |
| 2023-06-23 | Rollup merge of #112870 - compiler-errors:clause-2, r=oli-obk | Matthias Krüger | -15/+15 |
| 2023-06-23 | Resolve vars when reporting WF error | Michael Goulet | -0/+1 |
| 2023-06-23 | Don't emit same goal as input during wf obligations | Michael Goulet | -2/+9 |
