| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-09-20 | remove `impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicat... | Ziru Niu | -4/+6 |
| 2023-09-18 | Auto merge of #115748 - RalfJung:post-mono, r=oli-obk | bors | -2/+4 |
| 2023-09-18 | remove provisional cache | lcnr | -186/+64 |
| 2023-09-18 | Rollup merge of #115838 - lcnr:added-goals, r=compiler-errors | Matthias Krüger | -68/+117 |
| 2023-09-15 | Canonicalize effect vars in new solver | Michael Goulet | -2/+21 |
| 2023-09-14 | move required_consts check to general post-mono-check function | Ralf Jung | -2/+4 |
| 2023-09-14 | differentiate root and nested goals | lcnr | -25/+57 |
| 2023-09-14 | inspect: explicitly store added goals | lcnr | -1/+19 |
| 2023-09-14 | order `added_goals_evaluation` and `nested_probes` | lcnr | -24/+25 |
| 2023-09-14 | `GoalCandidate` to `Probe` | lcnr | -29/+27 |
| 2023-09-14 | Auto merge of #115751 - lcnr:inspect-cleanup, r=compiler-errors | bors | -205/+200 |
| 2023-09-11 | Rollup merge of #115727 - fee1-dead-contrib:effect-fallback, r=oli-obk | Matthias Krüger | -0/+3 |
| 2023-09-11 | dedup `GoalEvaluationStep` and `GoalCandidate` | lcnr | -42/+56 |
| 2023-09-11 | inspect: strongly typed CandidateKind | lcnr | -103/+66 |
| 2023-09-11 | inspect: handle `None` in `nested` | lcnr | -27/+7 |
| 2023-09-11 | split GoalEvaluation and CanonicalGoalEvaluation | lcnr | -60/+98 |
| 2023-09-10 | Implement fallback for effect param | Deadbeef | -0/+3 |
| 2023-09-05 | Rollup merge of #115519 - compiler-errors:next-solver-assoc-ice, r=lcnr | Matthias Krüger | -1/+15 |
| 2023-09-05 | Auto merge of #115467 - compiler-errors:assoc-ty-object-safety, r=oli-obk | bors | -0/+6 |
| 2023-09-03 | Don't ICE on associated type projection without feature gate | Michael Goulet | -1/+15 |
| 2023-09-02 | Do not require associated types with Self: Sized to uphold bounds when confir... | Michael Goulet | -3/+3 |
| 2023-09-02 | RPITITs are considered object-safe, they're always on Self:Sized methods | Michael Goulet | -0/+6 |
| 2023-09-02 | Signed-off-by: cui fliter <imcusg@gmail.com> | cui fliter | -1/+1 |
| 2023-08-30 | clean up `local_overflow_limit` computation | Rémy Rakic | -5/+1 |
| 2023-08-29 | handle edge-case of a recursion limit of 0 | Rémy Rakic | -1/+5 |
| 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 |
