aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_def/src/type_ref.rs
Commit message (Collapse)AuthorAgeFilesLines
* Address final feedbackJade2021-05-161-0/+8
| | | | | * rename ConstExtension->ConstExt * refactor a manual construction of a Const
* Add more tests, refactor array lengths/consteval workJade2021-05-141-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 typesJade2021-05-131-3/+50
| | | | | | | | | | | Now e.g. ```rust fn a(b: [u8; 2]) { } ``` will know about the length of b.
* hir_ty: keep body::Expander in TyLoweringContextcynecx2021-04-181-35/+3
|
* hir_def: various cleanupscynecx2021-04-181-2/+2
|
* hir_def: refactor expand_macro_type and cleanupscynecx2021-04-171-64/+14
|
* hir_ty: Expand macros at type positioncynecx2021-04-171-6/+96
|
* Remove TraitRef::ErrorLukas Wirth2021-03-291-9/+7
|
* Lower traits to TraitRef instead of TypeRefLukas Wirth2021-03-291-0/+19
|
* Add `MacroType` syntaxJonas Schievink2021-01-181-0/+2
|
* Node-ify lifetimesLukas Wirth2020-12-161-5/+5
|
* Add Lifetimes to the HIRLukas Wirth2020-12-111-11/+39
|
* Rename ra_hir_def -> hir_defAleksey Kladov2020-08-131-0/+245