| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-06-18 | Uplift the new trait solver | Michael Goulet | -93/+0 | |
| 2024-06-18 | SolverDelegate | Michael Goulet | -2/+2 | |
| 2024-06-15 | Rollup merge of #126354 - compiler-errors:variance, r=lcnr | Matthias Krüger | -3/+3 | |
| Use `Variance` glob imported variants everywhere Fully commit to using the globbed variance. Could be convinced the other way, and change this PR to not use the globbed variants anywhere, but I'd rather we do one or the other. r? lcnr | ||||
| 2024-06-12 | Walk into alias-eq nested goals even if normalization fails | Michael Goulet | -0/+6 | |
| 2024-06-12 | Use Variance glob import everywhere | Michael Goulet | -3/+3 | |
| 2024-05-28 | EvalCtxt::tcx() -> EvalCtxt::interner() | Michael Goulet | -1/+1 | |
| 2024-05-28 | add debug_assert to alias-relate | lcnr | -0/+1 | |
| 2024-05-19 | Make EvalCtxt generic over interner | Michael Goulet | -1/+2 | |
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -3/+3 | |
| 2024-05-12 | solve: replace all `debug` with `trace` | lcnr | -2/+2 | |
| 2024-04-04 | normalizes-to change from '1' to '0 to inf' steps | lcnr | -117/+34 | |
| 2024-04-04 | unconstrained `NormalizesTo` term for opaques | lcnr | -14/+6 | |
| 2024-03-18 | move `normalizes_to_hack` to `AliasRelate` | lcnr | -12/+21 | |
| 2024-02-29 | distinguish recursion limit based overflow for diagnostics | lcnr | -2/+4 | |
| also change the number of allowed fixpoint steps to be fixed instead of using the `log` of the total recursion depth. | ||||
| 2024-02-26 | always emit `AliasRelate` goals when relating aliases | lcnr | -20/+47 | |
| 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-02-13 | use alias-relate to structurally normalize in the solver | lcnr | -7/+34 | |
| 2024-02-13 | also try to normalize opaque types in alias-relate | lcnr | -72/+14 | |
| with this, alias-relate treats all aliases the same way and it can be used for structural normalization. | ||||
| 2024-01-10 | More comments | Michael Goulet | -9/+26 | |
| 2023-12-18 | track the source of nested goals | lcnr | -7/+9 | |
| 2023-12-08 | implement and use `NormalizesTo` | lcnr | -6/+2 | |
| 2023-11-09 | rework alias-relate to `norm(lhs) == norm(rhs)` | lcnr | -161/+98 | |
| 2023-09-11 | inspect: strongly typed CandidateKind | lcnr | -3/+3 | |
| 2023-08-03 | avoid more `ty::Binder:dummy` | lcnr | -1/+1 | |
| 2023-07-24 | Rollup merge of #113987 - compiler-errors:comments, r=lcnr | Matthias Krüger | -1/+20 | |
| Comment stuff in the new solver r? `@lcnr` | ||||
| 2023-07-24 | lcnr's suggestions | Michael Goulet | -2/+3 | |
| Co-authored-by: lcnr <rust@lcnr.de> | ||||
| 2023-07-23 | Comment stuff in the new solver | Michael Goulet | -1/+19 | |
| 2023-07-22 | Get rid of subst-relate incompleteness in new solver | Michael Goulet | -9/+12 | |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -2/+2 | |
| 2023-07-04 | add `ecx.probe_candidate` | lcnr | -37/+31 | |
| 2023-06-20 | split probe into 2 functions for better readability | lcnr | -9/+5 | |
| 2023-06-19 | introduce a separate set of types for finalized proof trees | Boxy | -6/+7 | |
| 2023-06-19 | initial info dump | Boxy | -31/+40 | |
| 2023-06-06 | Fall back to bidirectional normalizes-to if no subst-eq in alias-eq goal | Michael Goulet | -23/+72 | |
| 2023-06-06 | Move alias-relate to its own module | Michael Goulet | -0/+146 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |