Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Address final feedback | Jade | 2021-05-16 | 1 | -0/+8 |
| | | | | | * rename ConstExtension->ConstExt * refactor a manual construction of a Const | ||||
* | Add more tests, refactor array lengths/consteval work | Jade | 2021-05-14 | 1 | -0/+12 |
| | | | | | | | | | | | Fix #2922: add unknown length as a condition for a type having unknown. Incorporate reviews: * Extract some of the const evaluation workings into functions * Add fixmes on the hacks * Add tests for impls on specific array lengths (these work!!! 😁) * Add tests for const generics (indeed we don't support it yet) | ||||
* | Add lowering of array lengths in types | Jade | 2021-05-13 | 1 | -3/+50 |
| | | | | | | | | | | | Now e.g. ```rust fn a(b: [u8; 2]) { } ``` will know about the length of b. | ||||
* | hir_ty: keep body::Expander in TyLoweringContext | cynecx | 2021-04-18 | 1 | -35/+3 |
| | |||||
* | hir_def: various cleanups | cynecx | 2021-04-18 | 1 | -2/+2 |
| | |||||
* | hir_def: refactor expand_macro_type and cleanups | cynecx | 2021-04-17 | 1 | -64/+14 |
| | |||||
* | hir_ty: Expand macros at type position | cynecx | 2021-04-17 | 1 | -6/+96 |
| | |||||
* | Remove TraitRef::Error | Lukas Wirth | 2021-03-29 | 1 | -9/+7 |
| | |||||
* | Lower traits to TraitRef instead of TypeRef | Lukas Wirth | 2021-03-29 | 1 | -0/+19 |
| | |||||
* | Add `MacroType` syntax | Jonas Schievink | 2021-01-18 | 1 | -0/+2 |
| | |||||
* | Node-ify lifetimes | Lukas Wirth | 2020-12-16 | 1 | -5/+5 |
| | |||||
* | Add Lifetimes to the HIR | Lukas Wirth | 2020-12-11 | 1 | -11/+39 |
| | |||||
* | Rename ra_hir_def -> hir_def | Aleksey Kladov | 2020-08-13 | 1 | -0/+245 |