aboutsummaryrefslogtreecommitdiff
path: root/gcc/rust/typecheck/rust-hir-type-check-expr.cc
AgeCommit message (Expand)AuthorFilesLines
2024-05-06Change singleton returned type to a referencedevel/rust/masterPierre-Emmanuel Patry1-19/+19
2024-02-29lang-items: Make lang items enum stronger, rename class, cleanup ns.Arthur Cohen1-38/+34
2024-02-16Update copyright years.Sahil Yeole1-1/+1
2024-02-03Typecheck: add regions (lifetimes) to TyTyJakub Dupak1-9/+15
2024-01-23Add improved error when no fields in initializerRobert Goss1-0/+18
2024-01-18rust_debug: Cast size_t values to unsigned long before printing.Arthur Cohen1-2/+2
2023-10-23hir: Rename ComoundAssignment gettersJakub Dupak1-6/+4
2023-10-20typecheck: add loop ctx for labelled blockJakub Dupak1-0/+18
2023-09-08gccrs: [E0599] Failed to resovle method implementationMuhammad Mahad1-2/+4
2023-09-04gccrs:[E0592] methods or associated functions with same name already definedMuhammad Mahad1-2/+1
2023-09-02Improve type checking for if expressionsOwen Avery1-2/+24
2023-09-01Fix invalid call to vector::front in TypeBoundPredicate constructorsOwen Avery1-0/+1
2023-08-17gccrs: [E0034] found more than one items for methodMuhammad Mahad1-1/+8
2023-08-12gccrs: remove horrible hack in solving complex generics on impl blocksPhilip Herron1-105/+42
2023-08-01gccrs: [E0572] return is outside of function contextMuhammad Mahad1-1/+1
2023-07-30gccrs: fix ice when function is outside of contextPhilip Herron1-0/+8
2023-07-29gccrs: Track polarity in type bound predicatePhilip Herron1-1/+2
2023-07-28Replace usages of Location with location_t in typecheckingOwen Avery1-6/+7
2023-07-28gccrs: [E0571] break with argument in non-loop loopMuhammad Mahad1-2/+3
2023-07-28gccrs: New Error Code FrameworkMuhammad Mahad1-3/+3
2023-07-20gccrs: [E0268] break or continue used outside of loopMuhammad Mahad1-3/+4
2023-07-14rust-unreachable: Add specific behavior for rust_unreachableArthur Cohen1-1/+1
2023-07-13Remove RichLocation typedefOwen Avery1-8/+8
2023-07-12Change class RichLocation into typedefOwen Avery1-8/+8
2023-07-09Replace value initialization of Location with UNDEF_LOCATIONOwen Avery1-1/+1
2023-07-06gccrs: HIR cleanupMarc Poulhiès1-9/+12
2023-06-30gccrs: fix ICE with inserting autoderef mappingsPhilip Herron1-1/+2
2023-06-30gccrs: cleanup getters to return &unique_ptr instead of pointerMarc Poulhiès1-15/+16
2023-06-29ast: Change Identifier definitionPierre-Emmanuel Patry1-3/+6
2023-06-25gccrs: Add method selection to operator overloadingPhilip Herron1-3/+9
2023-06-25ErrorCode[E0277] Type Does Not Implement Expected Trait Muhammad Mahad1-1/+2
2023-06-13Remove obsolete error diagnosticTieWay591-7/+1
2023-05-30gccrs: Add missing name resolution to item statementsPhilip Herron1-2/+10
2023-05-09gccrs: Add missing coercion site logic to return expressionsPhilip Herron1-4/+3
2023-04-28gccrs: Improve operator overload check for recursive overloadPhilip Herron1-31/+59
2023-04-27gccrs: resolve the associated_predicate when mapping Fn traitsPhilip Herron1-4/+10
2023-04-26gccrs: Add mechanism use pattern information to improve type infoPhilip Herron1-13/+8
2023-04-26gccrs: Track Self properly with TypePredicateBoundsPhilip Herron1-1/+1
2023-04-26gccrs: minor refactor to reuse a variable instead of recreating it laterPhilip Herron1-2/+1
2023-04-26gccrs: Fix memory corruption at peek_contextPhilip Herron1-2/+2
2023-04-17Add lowering for if-let expressionsOwen Avery1-0/+36
2023-03-30gccrs: fix ICE with bad match arm typePhilip Herron1-0/+2
2023-03-17Unify HIR::IfExprConseqIf{,Let} into HIR::IfExprConseqElseOwen Avery1-23/+0
2023-03-17gccrs: cleanup header usage to decouple includesPhilip Herron1-2/+1
2023-02-28gccrs: Fix method resolution to use TryCoercePhilip Herron1-2/+9
2023-02-14gccrs: Support for Sized builtin marker traitPhilip Herron1-0/+6
2023-02-12Merge commit '83ffe9cde7fe0b4deb0d1b54175fd9b19c38179c' into HEADThomas Schwinge1-1/+1
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2023-01-10Support associated type bound argumentsPhilip Herron1-4/+8
2022-12-13gccrs: Add type resolution and trait solving passPhilip Herron1-0/+1567