aboutsummaryrefslogtreecommitdiff
path: root/gcc/rust/typecheck/rust-hir-type-check.cc
AgeCommit message (Expand)AuthorFilesLines
2024-05-06Change singleton returned type to a referencedevel/rust/masterPierre-Emmanuel Patry1-7/+7
2024-02-16Update copyright years.Sahil Yeole1-1/+1
2024-02-04gccrs: refactor inference variable computation into a seperate methodPhilip Herron1-33/+1
2024-02-03TyTy: Store region constraintsJakub Dupak1-1/+10
2024-02-03Typecheck: add regions (lifetimes) to TyTyJakub Dupak1-18/+72
2023-08-09gccrs: [E0282] type annotations neededMuhammad Mahad1-1/+1
2023-07-17Replace some usages of Location with location_tOwen Avery1-1/+1
2023-07-14rust-unreachable: Add specific behavior for rust_unreachableArthur Cohen1-1/+1
2023-07-09Replace value initialization of Location with UNDEF_LOCATIONOwen Avery1-1/+1
2023-06-30gccrs: refactor: make crate.items privateMarc Poulhiès1-2/+2
2023-06-30gccrs: cleanup getters to return &unique_ptr instead of pointerMarc Poulhiès1-5/+4
2023-06-29ast: Change Identifier definitionPierre-Emmanuel Patry1-7/+5
2023-02-22typecheck: Refactor unify_sitePierre-Emmanuel Patry1-9/+7
2023-02-12Merge commit '83ffe9cde7fe0b4deb0d1b54175fd9b19c38179c' into HEADThomas Schwinge1-1/+1
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-12-13gccrs: Add type resolution and trait solving passPhilip Herron1-0/+295
2022-12-04Revert "rust: Remove unused variables and fix dangling references"Philip Herron1-1/+2
2022-11-15rust: Remove unused variables and fix dangling referencesArthur Cohen1-2/+1
2022-09-27Refactor TypeResolution to be a simple query based systemPhilip Herron1-8/+1
2022-08-31Refactor unify to hit a unify_sitePhilip Herron1-2/+10
2022-08-11Refactor the TypeResolution pass to use fine grained visitorsPhilip Herron1-43/+3
2022-07-08Refactor mappings class and HIR lowering to be consistentPhilip Herron1-4/+2
2022-06-20hir: Add ConstGenericParam and lower to them properlyArthur Cohen1-1/+3
2022-05-25Remove inside_loop parameter from type resolution of stmts and expressionsPhilip Herron1-6/+4
2022-05-17Support extern-blocks defined within blocksPhilip Herron1-6/+1
2022-04-26Fix regression in fix for #1173Philip Herron1-8/+1
2022-04-19Support pattern bindings within function signituresPhilip Herron1-0/+1
2022-02-02Add new RustIdent struct to track canonical-path and location infoPhilip Herron1-4/+15
2022-01-24Update GCC/Rust files per 'contrib/update-copyright.py --this-year' [#764]Thomas Schwinge1-1/+1
2022-01-14Redesign constant folding from the typechecking pass to the backendPhilip Herron1-23/+0
2021-12-16Add mssing mappings to HIR::PatternPhilip Herron1-1/+8
2021-12-11Constant folder now returns error_mark_node instead of nullptrNirmal Patel1-2/+0
2021-11-05Support forward declared items within blocksPhilip Herron1-14/+29
2021-11-02Refactor struct-expr typechecking into its own impl filePhilip Herron1-271/+0
2021-11-01Refactor ADTType to consist of multiple variantsPhilip Herron1-13/+29
2021-11-01Get rid of lambda get_fields in structMark Wielaard1-6/+5
2021-10-25Converted FnType preprocessor defines into constantsNirmal Patel1-2/+3
2021-10-22Update GCC/Rust files per 'contrib/update-copyright.py --this-year'Thomas Schwinge1-1/+1
2021-10-13Refactor HIR to use new Mutability enumDavid Faust1-3/+4
2021-10-13Merge #710 #727bors[bot]1-17/+16
2021-10-12Refactor TyTy with new Mutability enumDavid Faust1-2/+2
2021-10-11Remove lambda iterators in various HIR classesDavid Faust1-17/+16
2021-09-14Initial autoderef support for method callsPhilip Herron1-3/+36
2021-09-09Add support for choosing stdcall fastcall and cdecl in the extern optionsPhilip Herron1-5/+7
2021-09-08Keep track of the ABI in function typesPhilip Herron1-5/+6
2021-09-05Support Generic Traits in qualified pathsPhilip Herron1-7/+32
2021-08-26Get rid of get_locus_slowMark Wielaard1-6/+5
2021-08-05Support TypeBounds on Generic functionsPhilip Herron1-0/+1
2021-08-01union support for hir type checking and gcc backendMark Wielaard1-16/+43
2021-07-15Add DefId mappings to TyTy::FnTypePhilip Herron1-0/+1