summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* lowering fixesenumsMark Wielaard2021-09-058-124/+311
* Add some testsMark Wielaard2021-09-053-1/+47
* Don't resolve Enums as implitemMark Wielaard2021-09-051-15/+0
* ast remove unnecessary Enum iterate functionMark Wielaard2021-09-051-9/+0
* WIP enum_resolveMark Wielaard2021-09-056-69/+199
* WIP enumsMark Wielaard2021-09-0514-16/+518
* Merge #655bors[bot]2021-09-0530-170/+915
|\
| * Support Generic Traits in qualified pathsPhilip Herron2021-09-0519-102/+375
| * Fix name resolution for generic trait referencesPhilip Herron2021-09-051-14/+11
| * Add helpers to as clause of QualifiedPaths to get the generic argsPhilip Herron2021-09-051-0/+21
| * Ensure the implicit Self is first in the generic argumentsPhilip Herron2021-09-051-1/+10
| * Add type resolution for qualified-type-pathsPhilip Herron2021-08-315-66/+284
| * Placeholder is not a unit-typePhilip Herron2021-08-311-1/+5
| * Add HIR lowering for QualifiedPathInTypePhilip Herron2021-08-313-1/+101
| * Add name resolution for QualifiedPathInTypePhilip Herron2021-08-312-2/+116
| * Add iterate helper for TypePathsPhilip Herron2021-08-311-0/+9
* | Merge #654bors[bot]2021-09-0116-1346/+0
|\ \ | |/ |/|
| * Remove Enumeration Expression, EnumExpr, classesstructexprMark Wielaard2021-09-0116-954/+0
| * StructExprUnit doesn't really existMark Wielaard2021-08-3116-105/+0
| * StructExprTuple doesn't really existMark Wielaard2021-08-3116-287/+0
|/
* Merge #651bors[bot]2021-08-312-8/+13
|\
| * Qualified paths have a mandatory initial segmentPhilip Herron2021-08-272-8/+13
* | Merge #652bors[bot]2021-08-304-54/+5
|\ \
| * | Remove GetLocusFromImplItem visitorlocusMark Wielaard2021-08-291-43/+2
| * | Replace HIRItem::get_impl_locus with HirItem::get_locusMark Wielaard2021-08-292-7/+1
| * | Use location when lowering TupleFieldMark Wielaard2021-08-291-4/+2
|/ /
* | Merge #650bors[bot]2021-08-271-9/+14
|\ \ | |/ |/|
| * Stop shadowing of hir mappings with substitution mappingsPhilip Herron2021-08-271-9/+14
|/
*-. Merge #648 #649bors[bot]2021-08-2735-558/+427
|\ \
| | * Get rid of get_locus_slowno-get-locus-slowMark Wielaard2021-08-2633-548/+393
| * | Fix issue with mangled name on function items with substitutionsPhilip Herron2021-08-262-10/+34
| |/
* | Merge #646bors[bot]2021-08-276-7/+72
|\ \ | |/ |/|
| * raii-file: Fix filename member initializationCohenArthur2021-08-251-1/+5
| * expand: Add debug line for showing the path of an external moduleCohenArthur2021-08-251-0/+2
| * module: Allow external module path to come from #[path] attributeCohenArthur2021-08-252-6/+50
| * modules: Add test case for #[path] modulesCohenArthur2021-08-252-0/+15
|/
* Merge #642HEADmasterbors[bot]2021-08-223-0/+77
|\
| * Reject duplicate field names in structs and unions.dup_fieldsMark Wielaard2021-08-223-0/+77
* | Merge #641bors[bot]2021-08-222-0/+41
|\ \ | |/ |/|
| * Ignore impl trait blocks in overlap passPhilip Herron2021-08-222-0/+41
|/
* Merge #640bors[bot]2021-08-2213-607/+871
|\
| * Qualified paths can be fully resolved sometimesPhilip Herron2021-08-223-23/+39
| * Path resolution is done in two phasesPhilip Herron2021-08-221-6/+15
| * This allows for query based compilationPhilip Herron2021-08-224-103/+184
| * Refactor the function query compilation function outPhilip Herron2021-08-222-130/+153
| * Add impl-trait path probe helperPhilip Herron2021-08-221-2/+30
| * Add Trait Resolver simple type-path lookupPhilip Herron2021-08-222-0/+62
| * add trait_reference is_equal helper methodPhilip Herron2021-08-221-0/+7
| * Extract header Path type-check code into cc filePhilip Herron2021-08-223-429/+467
|/
* Merge #638bors[bot]2021-08-2113-117/+33
|\