| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-06-05 | Add `Ty` to `ConstKind::Value` | Boxy | -1/+1 | |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -49/+8 | |
| 2024-05-21 | Uplift binder | Michael Goulet | -4/+2 | |
| 2024-05-20 | Rework var resolution in InferCtxtLike, uplift EagerResolver | Michael Goulet | -18/+108 | |
| 2024-05-18 | Uplift GenericArgKind, CanonicalVarValues, QueryInput | Michael Goulet | -0/+2 | |
| and make NestedGoals generic | ||||
| 2024-05-10 | Lift `TraitRef` into `rustc_type_ir` | Michael Goulet | -3/+3 | |
| 2024-05-06 | Use super_fold in RegionsToStatic visitor | Michael Goulet | -1/+1 | |
| 2024-04-08 | Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnr | bors | -1/+2 | |
| Pass list of defineable opaque types into canonical queries This eliminates `DefiningAnchor::Bubble` for good and brings the old solver closer to the new one wrt cycles and nested obligations. At that point the difference between `DefiningAnchor::Bind([])` and `DefiningAnchor::Error` was academic. We only used the difference for some sanity checks, which actually had to be worked around in places, so I just removed `DefiningAnchor` entirely and just stored the list of opaques that may be defined. fixes #108498 fixes https://github.com/rust-lang/rust/issues/116877 * [x] run crater - https://github.com/rust-lang/rust/pull/122077#issuecomment-2013293931 | ||||
| 2024-04-08 | Eliminate `DefiningAnchor` now that is just a single-variant enum | Oli Scherer | -2/+2 | |
| 2024-04-08 | Pass list of defineable opaque types into canonical queries | Oli Scherer | -1/+2 | |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -0/+1 | |
| 2024-03-28 | Require foldability part of interner item bounds, remove redundant where clauses | Michael Goulet | -8/+2 | |
| 2024-03-28 | Restrict const ty's regions to static when putting them in canonical var list | Michael Goulet | -23/+56 | |
| 2024-03-24 | Rollup merge of #122907 - compiler-errors:uniquify-reerror, r=lcnr | Matthias Krüger | -2/+1 | |
| Uniquify `ReError` on input mode in canonicalizer See test descr Fixes #122861 r? lcnr | ||||
| 2024-03-22 | Uniquify ReError on input mode in canonicalizer | Michael Goulet | -2/+1 | |
| 2024-03-22 | Programmatically convert some of the pat ctors | Michael Goulet | -1/+1 | |
| 2024-03-04 | Allow a way to add constructors for rustc_type_ir types | Michael Goulet | -3/+4 | |
| 2024-02-26 | always emit `AliasRelate` goals when relating aliases | lcnr | -8/+30 | |
| 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 | Move visitable bounds up into interner | Michael Goulet | -8/+2 | |
| 2024-02-13 | Add assertions back to canonicalizer | Michael Goulet | -3/+10 | |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -1/+2 | |
| 2023-12-28 | Remove movability from TyKind::Coroutine | Michael Goulet | -1/+1 | |
| 2023-12-15 | Opportunistically resolve region var in canonicalizer | Michael Goulet | -7/+1 | |
| 2023-12-08 | Feedback | Michael Goulet | -99/+96 | |
| - Take more things by self, not &self - Clone more things - Rework namespacing so we can use `ty::` in the canonicalizer | ||||
| 2023-12-08 | Uplift canonicalizer into new trait solver crate | Michael Goulet | -0/+426 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |