summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
|\
| * hir: Merge both module classes in oneCohenArthur2021-08-2113-117/+33
|/
* Merge #626bors[bot]2021-08-2049-315/+2148
|\
| * Add qualified path supportPhilip Herron2021-08-2014-48/+274
| * optional trait item with associated typesPhilip Herron2021-08-1920-90/+756
| * Initial Typechecking for projectionsPhilip Herron2021-08-192-110/+202
| * ProjectionType this is a special TyTy initial boiler platePhilip Herron2021-08-1912-0/+162
| * Add QualifiedTypePath HIR loweringPhilip Herron2021-08-195-40/+115
| * Add QualifiedPathInExpression name resolutionPhilip Herron2021-08-194-21/+143
| * Add support for optional trait functions in method callsPhilip Herron2021-08-199-5/+419
| * Add missing mappings for trait-itemsPhilip Herron2021-08-191-0/+26
| * Trait item functions contain a block expression for its bodyPhilip Herron2021-08-193-18/+33
| * refactor code into cc filePhilip Herron2021-08-193-37/+72
|/
*-. Merge #509 #636bors[bot]2021-08-1923-29/+280
|\ \
| | * Suppress uninitialized candidate_type warning in process_traits_for_candidatesprocess_traits_for_candidates-warningMark Wielaard2021-08-151-0/+1
| * | tests: add tests for ModuleMarc Poulhiès2021-08-184-0/+77
| * | typecheck + backend: add module supportMarc Poulhiès2021-08-185-19/+51
| * | hir: lower ModuleMarc Poulhiès2021-08-184-9/+52
| * | resolve: add support for ModuleMarc Poulhiès2021-08-186-1/+71
| * | ast: add AST::Module::get_name methodMarc Poulhiès2021-08-181-0/+2
| * | Add module map in HIR mapsMarc Poulhiès2021-08-182-0/+26
| * | Use default type_for_size langhookMark Wielaard2021-08-182-17/+91
| * | Allow bool and char to be cast as any integer typeMark Wielaard2021-08-183-0/+66
* | | Merge #637bors[bot]2021-08-192-0/+102
|\ \ \