| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -370/+0 | |
| 2022-11-25 | Add empty ConstKind::Abstract | kadmin | -14/+0 | |
| Initial pass at expr/abstract const/s Address comments Switch to using a list instead of &[ty::Const], rm `AbstractConst` Remove try_unify_abstract_consts Update comments Add edits Recurse more More edits Prevent equating associated consts Move failing test to ui Changes this test from incremental to ui, and mark it as failing and a known bug. Does not cause the compiler to ICE, so should be ok. | ||||
| 2022-08-27 | Revert "Remove deferred sized checks" | Michael Goulet | -0/+1 | |
| This reverts commit 33212bf7f527798a8cfa2bbb38781742f4ca718a. | ||||
| 2022-08-16 | Remove deferred sized checks | Michael Goulet | -1/+0 | |
| 2021-12-10 | update tests | Ellen | -1/+1 | |
| 2021-09-02 | Report cycle error using 'deepest' obligation in the cycle | Aaron Hill | -1/+2 | |
| 2021-08-30 | `feature(const_param_types)` -> `feature(adt_const_params)` | lcnr | -3/+3 | |
| 2021-08-30 | `feature(const_generics)` -> `feature(const_param_types)` | lcnr | -95/+16 | |
| 2021-08-30 | rename const_evaluatable_checked to generic_const_exprs | Ellen | -13/+13 | |
| :sparkles: | ||||
| 2021-08-22 | Auto merge of #88166 - BoxyUwU:const-equate-canon, r=lcnr | bors | -0/+203 | |
| canonicalize consts before calling try_unify_abstract_consts query Fixes #88022 Fixes #86953 Fixes #77708 Fixes #82034 Fixes #85031 these ICEs were all caused by calling the `try_unify_abstract_consts` query with inference vars in substs r? `@lcnr` | ||||
| 2021-08-19 | regression tests | Ellen | -0/+203 | |
| 2021-08-18 | add tests | Ellen | -0/+169 | |
| 2020-05-09 | adjust tests | Ralf Jung | -2/+2 | |
| 2020-03-31 | update tests | Bastian Kauschke | -1/+1 | |
| 2020-02-20 | Add regression test for issue 68477. | Ben Lewis | -0/+23 | |
| 2019-10-21 | Fix `canonicalize_const_var` from leaking inference variables through | ben | -0/+67 | |
| it's type. | ||||
