| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-05-18 | Uplift inspect into rustc_type_ir | Michael Goulet | -169/+0 | |
| 2024-05-13 | Use a proper probe for shadowing impl | Michael Goulet | -0/+3 | |
| 2024-05-06 | Record impl args in the InsepctCandiate rather than rematching during select | Michael Goulet | -0/+3 | |
| 2024-05-02 | Higher ranked goal source, do overflow handling less badly | Michael Goulet | -0/+1 | |
| 2024-04-29 | Only register candidate if it is associated w a shallow certainty | Michael Goulet | -2/+2 | |
| 2024-04-29 | Actually use probes when needed and stop relying on existing outer probes | Michael Goulet | -2/+2 | |
| 2024-04-27 | Record certainty of evaluate_added_goals_and_make_canonical_response call in ↵ | Michael Goulet | -0/+3 | |
| candidate | ||||
| 2024-04-04 | normalizes-to change from '1' to '0 to inf' steps | lcnr | -5/+3 | |
| 2024-03-18 | cleanup + review | lcnr | -4/+1 | |
| 2024-03-08 | inspect formatter: add braces | lcnr | -17/+30 | |
| 2024-02-26 | always emit `AliasRelate` goals when relating aliases | lcnr | -14/+1 | |
| Add `StructurallyRelateAliases` to allow instantiating infer vars with rigid aliases. Change `instantiate_query_response` to be infallible in the new solver. This requires canonicalization to not hide any information used by the query, so weaken universe compression. It also modifies `term_is_fully_unconstrained` to allow region inference variables in a higher universe. | ||||
| 2024-01-09 | readd the provisional cache | lcnr | -0/+3 | |
| 2023-12-18 | track the source of nested goals | lcnr | -1/+7 | |
| 2023-11-09 | `try_normalize_ty` end with rigid alias on failure | lcnr | -0/+5 | |
| 2023-11-02 | use global cache when computing proof trees | lcnr | -6/+3 | |
| 2023-09-21 | proof trees: use for `intercrate_ambiguity_causes` | lcnr | -1/+1 | |
| 2023-09-14 | differentiate root and nested goals | lcnr | -7/+10 | |
| 2023-09-14 | inspect: explicitly store added goals | lcnr | -0/+1 | |
| 2023-09-14 | order `added_goals_evaluation` and `nested_probes` | lcnr | -5/+5 | |
| 2023-09-14 | `GoalCandidate` to `Probe` | lcnr | -6/+6 | |
| 2023-09-11 | dedup `GoalEvaluationStep` and `GoalCandidate` | lcnr | -10/+8 | |
| 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 | -4/+7 | |
| 2023-09-11 | revision -> iteration for added_goals_evaluation | lcnr | -3/+3 | |
| 2023-09-11 | split GoalEvaluation and CanonicalGoalEvaluation | lcnr | -30/+35 | |
| the unnormalized goal is in the callers inference context, while anything inside of the `CanonicalGoalEvaluation` is inside of a new one. | ||||
| 2023-08-03 | Rework upcasting | Michael Goulet | -2/+5 | |
| 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 | -0/+3 | |
| 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 | -53/+59 | |
| 2023-06-19 | move to nested module | Boxy | -0/+131 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |