aboutsummaryrefslogtreecommitdiff
path: root/gcc/rust/typecheck
AgeCommit message (Expand)AuthorFilesLines
2023-04-06gccrs: Support for Sized builtin marker traitPhilip Herron10-184/+411
2023-04-06gccrs: Extract query_type from TypeCheckBase to be a simple externPhilip Herron5-75/+147
2023-04-06gccrs: Add variadic argument type checkingOwen Avery1-1/+55
2023-04-06gccrs: Update copyright years.Thomas Schwinge9-9/+9
2023-04-06gccrs: typecheck: Refactor rust-hir-trait-reference.hPierre-Emmanuel Patry2-297/+509
2023-04-06gccrs: Add general TypeBounds checksPhilip Herron1-0/+11
2023-04-06gccrs: Remove bad error message on checking function argumentsPhilip Herron1-5/+0
2023-04-06gccrs: Fix higher ranked trait bounds computation of selfPhilip Herron3-8/+102
2023-04-06gccrs: Fix nullptr dereferencePhilip Herron1-2/+2
2023-04-06gccrs: Refactor the type unification codePhilip Herron7-1618/+1800
2023-04-06gccrs: Remove monomorphization hack to setup possible associated typesPhilip Herron4-16/+36
2023-04-06gccrs: Add missing param subst callbackPhilip Herron1-0/+1
2023-04-06gccrs: Clear the substitution callbacks when copying ArgumentMappingsPhilip Herron1-2/+2
2023-04-06gccrs: Refactor handle_substitutions to take a referencePhilip Herron5-26/+34
2023-04-06gccrs: Rename header rust-hir-trait-ref.h to rust-hir-trait-reference.hPhilip Herron5-10/+13
2023-04-06gccrs: Rename rust-tyctx.cc to rust-typecheck-context.ccPhilip Herron1-0/+0
2023-04-06gccrs: Refactor all code out of the rust-tyty.h headerPhilip Herron4-830/+1508
2023-04-06gccrs: Refactor PathProbeType code into CC filePhilip Herron2-67/+124
2023-04-06gccrs: Refactor PathProbe into cc filePhilip Herron3-308/+360
2023-04-06gccrs: Refactor BaseType, InferType and ErrorType impl into cc filePhilip Herron2-62/+211
2023-04-06gccrs: Refactor all substitution mapper code implementation into its own CC filePhilip Herron3-244/+387
2023-04-06gccrs: Refactor SubstitutionRef base class into its own CC filePhilip Herron4-929/+1244
2023-04-06gccrs: Refactor TyVar and TypeBoundPredicatesPhilip Herron5-178/+275
2023-04-06gccrs: Move TypePredicateItem impl out of the headerPhilip Herron2-12/+28
2023-04-06gccrs: Remove HIR::GroupedPatternOwen Avery2-10/+0
2023-04-06gccrs: Add type resolution for grouped patternsOwen Avery1-3/+5
2023-04-06gccrs: Reuse TypeCheckPattern on LetStmt'sOwen Avery1-8/+6
2023-04-06gccrs: Support associated type bound argumentsPhilip Herron6-34/+202
2023-02-21gccrs: Cleanup unused parameters to fix the bootstrap buildPhilip Herron4-50/+44
2023-02-21gccrs: Fix undefined behaviour issues on macosPhilip Herron2-2/+7
2023-02-21gccrs: Add capture tracking to the type info for closuresPhilip Herron3-6/+14
2023-02-21gccrs: typecheck: Fix overzealous `delete` callArthur Cohen1-1/+0
2023-02-21gccrs: Add missing type resolution for function type segmentsPhilip Herron1-7/+62
2023-02-21gccrs: Closure support at CallExprPhilip Herron1-2/+11
2023-02-21gccrs: Initial Type resolution for closuresPhilip Herron8-31/+477
2023-02-21gccrs: Refactor method call type checkingPhilip Herron3-74/+106
2023-02-21gccrs: Refactor expression hir lowering into cc filePhilip Herron2-2/+7
2023-02-21gccrs: Add check for recursive trait cyclesPhilip Herron2-1/+40
2023-02-21gccrs: Refactor TraitResolver to not require a visitorPhilip Herron2-37/+26
2023-02-21gccrs: Method resolution must support multiple candidatesPhilip Herron8-28/+152
2023-02-21gccrs: Support type resolution on super traits on dyn objectsPhilip Herron2-24/+35
2023-02-21gccrs: Support looking up super traits for trait itemsPhilip Herron1-0/+19
2023-02-21gccrs: Ensure uniqueness on Path probe'sPhilip Herron3-60/+52
2023-02-21gccrs: Track DefId on ADT variantsPhilip Herron3-13/+22
2023-02-21gccrs: Add catch for recusive type queriesPhilip Herron3-2/+25
2023-02-21gccrs: Fix missing dead code analysis ICE on local enum definitionPhilip Herron1-0/+5
2023-01-31gccrs: Refactor TypeResolution to be a simple query based systemPhilip Herron22-783/+926
2023-01-31gccrs: Statics are a coercion sitePhilip Herron1-5/+5
2023-01-31gccrs: bugfix: initialize slice from array in const contextFaisal Abbas1-1/+1
2023-01-31gccrs: Unit structs are not concrete when they need substitutionsPhilip Herron1-0/+5