| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-12-18 | track the source of nested goals | lcnr | -4/+10 | |
| 2023-12-14 | update use of feature flags | lcnr | -1/+1 | |
| 2023-11-09 | `try_normalize_ty` end with rigid alias on failure | lcnr | -0/+10 | |
| 2023-11-02 | use global cache when computing proof trees | lcnr | -25/+41 | |
| 2023-09-21 | proof trees: use for `intercrate_ambiguity_causes` | lcnr | -9/+59 | |
| 2023-09-14 | differentiate root and nested goals | lcnr | -10/+19 | |
| 2023-09-14 | inspect: explicitly store added goals | lcnr | -0/+2 | |
| 2023-09-14 | order `added_goals_evaluation` and `nested_probes` | lcnr | -7/+12 | |
| 2023-09-14 | `GoalCandidate` to `Probe` | lcnr | -11/+14 | |
| 2023-09-11 | dedup `GoalEvaluationStep` and `GoalCandidate` | lcnr | -14/+19 | |
| also handle 2 panics when dumping proof trees for the whole test suite - need to actually tell the proof tree builder about overflow - need to handle a recursion_limit of 0 :< | ||||
| 2023-09-11 | inspect: strongly typed CandidateKind | lcnr | -18/+26 | |
| 2023-09-11 | revision -> iteration for added_goals_evaluation | lcnr | -3/+3 | |
| 2023-09-11 | split GoalEvaluation and CanonicalGoalEvaluation | lcnr | -50/+43 | |
| the unnormalized goal is in the callers inference context, while anything inside of the `CanonicalGoalEvaluation` is inside of a new one. | ||||
| 2023-08-04 | Rollup merge of #114287 - lcnr:overflow, r=compiler-errors | Michael Goulet | -0/+100 | |
| update overflow handling in the new trait solver implements https://hackmd.io/QY0dfEOgSNWwU4oiGnVRLw?view. I want to clean up this doc and add it to the rustc-dev-guide, but I think this PR is ready for merge as is, even without the dev-guide entry. r? `@compiler-errors` | ||||
| 2023-08-03 | Rework upcasting | Michael Goulet | -7/+13 | |
| 2023-08-03 | rewrite stack dependent overflow handling | lcnr | -0/+100 | |
| 2023-07-30 | inline format!() args up to and including rustc_middle | Matthias Krüger | -2/+2 | |
| 2023-07-25 | Normalize the RHS of an unsize goal | Michael Goulet | -1/+8 | |
| 2023-07-23 | match on chars instead of &strs for .split() or .strip_prefix() | Matthias Krüger | -2/+2 | |
| 2023-07-13 | typo | lcnr | -1/+1 | |
| 2023-07-13 | refactor proof tree formatting | lcnr | -57/+63 | |
| 2023-06-20 | cleanup imports | lcnr | -2/+6 | |
| 2023-06-19 | move to nested module | Boxy | -130/+134 | |
| 2023-06-19 | show normalizes-to hack and response instantiation goals | Boxy | -2/+22 | |
| 2023-06-19 | introduce a separate set of types for finalized proof trees | Boxy | -28/+39 | |
| 2023-06-19 | say what kind of cache hit | Boxy | -3/+10 | |
| 2023-06-19 | initial info dump | Boxy | -0/+168 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |