| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-08-18 | instantiate response: no unnecessary new universe | lcnr | -1/+1 |
| 2023-08-15 | Rollup merge of #114831 - compiler-errors:next-solver-projection-subst-compat... | Guillaume Gomez | -7/+15 |
| 2023-08-15 | Rollup merge of #114829 - compiler-errors:next-solver-only-unsize-to-dyn-once... | Guillaume Gomez | -54/+92 |
| 2023-08-15 | Rollup merge of #114828 - compiler-errors:next-solver-probe-upcasting, r=lcnr | Guillaume Gomez | -10/+12 |
| 2023-08-15 | Rollup merge of #114827 - compiler-errors:next-solver-dyn-safe-candidates, r=... | Guillaume Gomez | -0/+5 |
| 2023-08-15 | Check projection arguments before substitution | Michael Goulet | -7/+15 |
| 2023-08-15 | Separate consider_unsize_to_dyn_candidate from other unsize candidates | Michael Goulet | -54/+92 |
| 2023-08-15 | Probe when assembling upcast candidates so they don't step on eachother's toes | Michael Goulet | -10/+12 |
| 2023-08-15 | Only consider object candidates for object-safe dyn types | Michael Goulet | -0/+5 |
| 2023-08-14 | Remove constness from `ImplSource::Param` | Deadbeef | -1/+1 |
| 2023-08-13 | Auto merge of #114457 - lcnr:trait_ref_is_knowable-normalize, r=compiler-errors | bors | -93/+123 |
| 2023-08-12 | lower `evaluate_goal` stability check to `warn` | lcnr | -36/+56 |
| 2023-08-12 | normalize in `trait_ref_is_knowable` in new solver | lcnr | -57/+67 |
| 2023-08-11 | remove builtin impl for float and int infer | lcnr | -4/+2 |
| 2023-08-10 | make the provisional cache slightly less broken | lcnr | -40/+57 |
| 2023-08-08 | Rollup merge of #114566 - fmease:type-alias-laziness-is-crate-specific, r=oli... | Matthias Krüger | -1/+1 |
| 2023-08-07 | Rollup merge of #114196 - compiler-errors:bubble-pls, r=lcnr | Matthias Krüger | -23/+24 |
| 2023-08-07 | Store the laziness of type aliases in the DefKind | León Orell Valerian Liehr | -1/+1 |
| 2023-08-05 | Also report when goals go from ok to error | Michael Goulet | -2/+8 |
| 2023-08-04 | Rollup merge of #114287 - lcnr:overflow, r=compiler-errors | Michael Goulet | -531/+447 |
| 2023-08-04 | Auto merge of #114036 - compiler-errors:upcast-to-fewer-assocs, r=lcnr | bors | -37/+93 |
| 2023-08-03 | Remove trivial region constraints | Michael Goulet | -1/+6 |
| 2023-08-03 | resolve before canonicalization, ICE if unresolved | Michael Goulet | -67/+114 |
| 2023-08-03 | separate calculation and interning of external query constraints | Michael Goulet | -27/+28 |
| 2023-08-03 | short-circuit when proj def ids differ | Michael Goulet | -9/+14 |
| 2023-08-03 | Rework upcasting | Michael Goulet | -37/+88 |
| 2023-08-03 | inline helper methods into `with_new_goal` | lcnr | -115/+80 |
| 2023-08-03 | rewrite stack dependent overflow handling | lcnr | -173/+180 |
| 2023-08-03 | handle overflow in the `EvalCtxt` separately | lcnr | -189/+156 |
| 2023-08-03 | add `ensure_sufficient_stack` to the new solver | lcnr | -18/+21 |
| 2023-08-03 | fix `make_ambiguous_response_no_constraints` | lcnr | -47/+41 |
| 2023-08-03 | avoid more `ty::Binder:dummy` | lcnr | -36/+16 |
| 2023-08-02 | Remove constness from `TraitPredicate` | Deadbeef | -1/+0 |
| 2023-08-02 | Rollup merge of #114314 - compiler-errors:sized-crit, r=lcnr | Matthias Krüger | -1/+1 |
| 2023-08-01 | Don't select infer -> dyn Trait | Michael Goulet | -0/+3 |
| 2023-08-01 | Convert adt_sized_constraint to early-binder, use list | Michael Goulet | -1/+1 |
| 2023-07-31 | Rollup merge of #114200 - compiler-errors:detect-tail-unsize-then-upcast, r=lcnr | Matthias Krüger | -5/+20 |
| 2023-07-31 | Rollup merge of #114169 - lcnr:unsize, r=compiler-errors | Matthias Krüger | -218/+258 |
| 2023-07-29 | Detect trait upcasting through struct tail unsizing | Michael Goulet | -5/+20 |
| 2023-07-29 | Bubble up nested goals from equation in predicates_for_object_candidate | Michael Goulet | -23/+24 |
| 2023-07-28 | fix comment | lcnr | -2/+2 |
| 2023-07-28 | refactor builtin unsize handling, extend comments | lcnr | -217/+257 |
| 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 |
