| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-06-18 | Uplift the new trait solver | Michael Goulet | -573/+0 | |
| 2024-06-18 | SolverDelegate | Michael Goulet | -4/+5 | |
| 2024-06-13 | Address nits | Michael Goulet | -3/+4 | |
| - Remove the ValuePairs glob import - Make DummyPairs -> ValuePairs::Dummy and make it bug more - Fix WC - Make interner return `impl IntoIterator`s | ||||
| 2024-05-28 | Make ProofTreeBuilder actually generic over interner | Michael Goulet | -59/+53 | |
| 2024-05-24 | remove proof tree formatter, make em shallow | lcnr | -156/+70 | |
| 2024-05-18 | Make proof tree building generic | Michael Goulet | -88/+102 | |
| 2024-05-18 | Uplift inspect into rustc_type_ir | Michael Goulet | -14/+14 | |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+1 | |
| 2024-05-07 | Rollup merge of #124827 - lcnr:generalize-incomplete, r=compiler-errors | Matthias Krüger | -1/+4 | |
| generalize hr alias: avoid unconstrainable infer vars fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/108 see inline comments for more details r? `@compiler-errors` cc `@BoxyUwU` | ||||
| 2024-05-07 | generalize hr alias: avoid unconstrainable infer vars | lcnr | -1/+4 | |
| 2024-05-06 | Record impl args in the InsepctCandiate rather than rematching during select | Michael Goulet | -1/+29 | |
| 2024-04-27 | Record certainty of evaluate_added_goals_and_make_canonical_response call in ↵ | Michael Goulet | -0/+17 | |
| candidate | ||||
| 2024-04-25 | hir typeck: look into nested goals | lcnr | -95/+168 | |
| 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-04 | normalizes-to change from '1' to '0 to inf' steps | lcnr | -27/+0 | |
| 2024-03-18 | cleanup + review | lcnr | -8/+4 | |
| 2024-03-18 | move `normalizes_to_hack` to `AliasRelate` | lcnr | -0/+11 | |
| 2024-02-26 | always emit `AliasRelate` goals when relating aliases | lcnr | -14/+0 | |
| 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/+5 | |
| 2023-12-18 | track the source of nested goals | lcnr | -5/+11 | |
| 2023-12-14 | rename `-Ztrait-solver` to `-Znext-solver` | lcnr | -1/+1 | |
| 2023-11-09 | `try_normalize_ty` end with rigid alias on failure | lcnr | -0/+27 | |
| 2023-11-02 | use global cache when computing proof trees | lcnr | -60/+61 | |
| 2023-09-21 | proof trees: use for `intercrate_ambiguity_causes` | lcnr | -0/+522 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |