| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-07-12 | enable fuzzing of `SearchGraph` | lcnr | -121/+0 | |
| fully move it into `rustc_type_ir` and make it independent of `Interner`. | ||||
| 2024-06-18 | Make SearchGraph fully generic | Michael Goulet | -17/+11 | |
| 2024-05-24 | remove proof tree formatter, make em shallow | lcnr | -3/+3 | |
| 2024-05-20 | move global cache lookup into fn | lcnr | -16/+18 | |
| 2024-05-18 | Uplift inspect into rustc_type_ir | Michael Goulet | -332/+3 | |
| 2024-05-13 | Use a proper probe for shadowing impl | Michael Goulet | -0/+5 | |
| 2024-05-06 | Record impl args in the InsepctCandiate rather than rematching during select | Michael Goulet | -0/+5 | |
| 2024-05-02 | Higher ranked goal source, do overflow handling less badly | Michael Goulet | -0/+1 | |
| 2024-04-30 | Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-dead | Matthias Krüger | -0/+1 | |
| Remove many `#[macro_use] extern crate foo` items This requires the addition of more `use` items, which often make the code more verbose. But they also make the code easier to read, because `#[macro_use]` obscures where macros are defined. r? `@fee1-dead` | ||||
| 2024-04-29 | Take proof trees by value in inspect goal | Michael Goulet | -3/+3 | |
| 2024-04-29 | Only register candidate if it is associated w a shallow certainty | Michael Goulet | -4/+4 | |
| 2024-04-29 | Actually use probes when needed and stop relying on existing outer probes | Michael Goulet | -6/+4 | |
| 2024-04-29 | Remove `extern crate rustc_macros` from `rustc_middle`. | Nicholas Nethercote | -0/+1 | |
| 2024-04-27 | Record certainty of evaluate_added_goals_and_make_canonical_response call in ↵ | Michael Goulet | -0/+9 | |
| candidate | ||||
| 2024-04-25 | hir typeck: look into nested goals | lcnr | -0/+1 | |
| uses a `ProofTreeVisitor` to look into nested goals when looking at the pending obligations during hir typeck. Used by closure signature inference, coercion, and for async functions. | ||||
| 2024-04-05 | Fix typo | Waffle Maybe | -1/+1 | |
| 2024-04-04 | normalizes-to change from '1' to '0 to inf' steps | lcnr | -10/+5 | |
| 2024-03-18 | cleanup + review | lcnr | -7/+4 | |
| 2024-03-08 | inspect formatter: add braces | lcnr | -17/+30 | |
| 2024-02-26 | always emit `AliasRelate` goals when relating aliases | lcnr | -16/+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/+4 | |
| 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 |