| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-09-29 | a small wf and clause cleanup | lcnr | -5/+4 |
| 2023-09-29 | Auto merge of #115843 - lcnr:bb-provisional-cache, r=compiler-errors | bors | -186/+64 |
| 2023-09-26 | Don't store lazyness in DefKind | Michael Goulet | -1/+1 |
| 2023-09-24 | Remove span from BrAnon. | Camille GILLOT | -4/+3 |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -20/+8 |
| 2023-09-21 | Move `DepKind` to `rustc_query_system` and define it as `u16` | John Kåre Alsaker | -2/+2 |
| 2023-09-21 | w | lcnr | -1/+1 |
| 2023-09-21 | slight refactor, add comment | lcnr | -11/+20 |
| 2023-09-21 | proof trees: use for `intercrate_ambiguity_causes` | lcnr | -120/+459 |
| 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 |
