aboutsummaryrefslogtreecommitdiff
path: root/gcc/rust/typecheck
AgeCommit message (Expand)AuthorFilesLines
2024-08-01gccrs: borrowck: extract regions from types using VAJakub Dupak3-19/+140
2024-08-01gccrs: borrowck: Use rust-system.hJakub Dupak4-7/+4
2024-08-01gccrs: unify: Always coerce `!` to the target type.Arthur Cohen1-25/+11
2024-08-01gccrs: Prevent getting immutable context with classic nrPierre-Emmanuel Patry2-14/+17
2024-08-01gccrs: Struct are types, not valuesPierre-Emmanuel Patry1-1/+3
2024-08-01gccrs: Change error message to match testPierre-Emmanuel Patry1-2/+4
2024-08-01gccrs: typecheck: Start using nr2.0 properlyArthur Cohen3-26/+105
2024-08-01gccrs: TyTy: Collect variance info from typesJakub Dupak1-4/+13
2024-08-01gccrs: TyTy: Variance analysis moduleJakub Dupak5-0/+971
2024-08-01gccrs: TyTy: add common SubstitutionRef APIJakub Dupak1-0/+11
2024-08-01gccrs: hir: Add ExternalTypeItem nodeArthur Cohen2-0/+130
2024-08-01gccrs: lang-items: Make lang items enum stronger, rename class, cleanup ns.Arthur Cohen10-76/+60
2024-02-21gccrs: Fix typo in RegionConstraints instanceArthur Cohen1-1/+1
2024-02-07gccrs: fix bug in pattern check for tuplesPhilip Herron1-2/+4
2024-02-07gccrs: refactor inference variable computation into a seperate methodPhilip Herron3-33/+44
2024-02-07gccrs: remove similar hack in type paths as we had in path expressionsPhilip Herron1-16/+0
2024-02-07gccrs: remove old generics hack to reuse generic symbols from previous segPhilip Herron1-19/+2
2024-02-07gccrs: Fix ICE accessing empty vector without checkPhilip Herron1-1/+2
2024-02-07gccrs: TyTy: Store reference to type before any substitutionsJakub Dupak2-2/+11
2024-02-07gccrs: TyTy: Store region constraintsJakub Dupak12-53/+151
2024-02-07gccrs: Typecheck: add regions (lifetimes) to TyTyJakub Dupak18-177/+585
2024-02-07gccrs: TyTy: Region (lifetime) representationJakub Dupak1-0/+110
2024-02-07gccrs: Typecheck: lifetime interning and resolution toolJakub Dupak2-1/+279
2024-01-30gccrs: Add improved error when no fields in initializerRobert Goss3-3/+72
2024-01-30gccrs: Add improved error when a field is redefined in a struct constructorRobert Goss2-32/+64
2024-01-30gccrs: TyTy: Refactor FnType deprecated APIJakub Dupak5-11/+8
2024-01-30gccrs: TyTy: SubstitutionRef cast specializationJakub Dupak1-0/+78
2024-01-30gccrs: TyTy: Common interface for fucntion-like typesJakub Dupak1-18/+98
2024-01-30gccrs: TyTy: refactor to new APIJakub Dupak1-8/+3
2024-01-30gccrs: TyTy: Fix missed nodiscardJakub Dupak1-1/+1
2024-01-18rust_debug: Cast size_t values to unsigned long before printing.Arthur Cohen1-2/+2
2024-01-16gccrs: Adjust item kind enums for TupleStructItems and TuplePatternItemsOwen Avery1-4/+4
2024-01-16gccrs: hir: Rename ComoundAssignment gettersJakub Dupak2-6/+6
2024-01-16gccrs: hir: Rename get_pattern_mappings methodJakub Dupak2-27/+25
2024-01-16gccrs: typecheck: add loop ctx for labelled blockJakub Dupak1-0/+18
2024-01-16gccrs: TyTy: use new subclass APIJakub Dupak1-316/+226
2024-01-16gccrs: TyTy: TyTy improved subclass casting and checkingJakub Dupak2-38/+154
2024-01-16gccrs: Adjust methods for TuplePatternItems to match TupleStructItemsOwen Avery1-1/+1
2024-01-16gccrs: [E0617] attempt for invalid type variable in variadic functionMuhammad Mahad1-10/+25
2024-01-16gccrs: Remove HIR::ForLoopExprPhilip Herron1-1/+2
2024-01-16gccrs: Minor typo fixMarc Poulhiès2-2/+2
2024-01-16gccrs: trivial typo fix.Marc Poulhiès6-12/+12
2024-01-16gccrs: Fix typechecking (and compilation) error for alt patterns in match exp...Dave Evans1-2/+22
2024-01-16gccrs: [E0599] Failed to resovle method implementationMuhammad Mahad1-2/+4
2024-01-16gccrs: Unify raw attribute valuesPierre-Emmanuel Patry1-1/+2
2024-01-16gccrs: gccrs:[E0592] methods or associated functions with same name already d...Muhammad Mahad2-3/+5
2024-01-16gccrs: [E0532] Pattern arm did not match expected kindMuhammad Mahad1-3/+4
2024-01-16gccrs: Improve type checking for if expressionsOwen Avery1-2/+24
2024-01-16gccrs: Fix invalid call to vector::front in TypeBoundPredicate constructorsOwen Avery3-4/+18
2024-01-16gccrs: [E0769] Use of tuple struct/variant in struct variantMuhammad Mahad1-2/+8
generated by cgit v1.1 at 2024-08-24 15:12:56 +0000