aboutsummaryrefslogtreecommitdiff
path: root/gcc/rust/typecheck/rust-tyty.cc
AgeCommit message (Expand)AuthorFilesLines
2024-08-01gccrs: lang-items: Make lang items enum stronger, rename class, cleanup ns.Arthur Cohen1-3/+2
2024-02-07gccrs: TyTy: Store reference to type before any substitutionsJakub Dupak1-2/+8
2024-02-07gccrs: TyTy: Store region constraintsJakub Dupak1-8/+15
2024-02-07gccrs: Typecheck: add regions (lifetimes) to TyTyJakub Dupak1-10/+19
2024-01-30gccrs: TyTy: Refactor FnType deprecated APIJakub Dupak1-1/+1
2024-01-16gccrs: TyTy: use new subclass APIJakub Dupak1-316/+226
2024-01-16gccrs: TyTy: TyTy improved subclass casting and checkingJakub Dupak1-38/+38
2024-01-16gccrs: trivial typo fix.Marc Poulhiès1-7/+7
2024-01-16gccrs: [E0271] Type mismatch between associated type trait.Muhammad Mahad1-1/+8
2024-01-16gccrs: Replace usages of Location with location_t in typecheckingOwen Avery1-2/+2
2024-01-16gccrs: New Error Code FrameworkMuhammad Mahad1-1/+1
2024-01-16gccrs: Replace some usages of Location with location_tOwen Avery1-8/+8
2024-01-16gccrs: Remove Linemap::predeclared_locationOwen Avery1-53/+27
2024-01-16gccrs: rust-unreachable: Add specific behavior for rust_unreachableArthur Cohen1-7/+7
2024-01-16gccrs: Remove RichLocation typedefOwen Avery1-3/+3
2024-01-16gccrs: Change class RichLocation into typedefOwen Avery1-2/+3
2024-01-16gccrs: Replace Linemap::unknown_location with UNKNOWN_LOCATIONOwen Avery1-2/+1
2024-01-16gccrs: Replace value initialization of Location with UNDEF_LOCATIONOwen Avery1-5/+5
2024-01-16gccrs: ErrorCode[E0277] Type Does Not Implement Expected TraitMuhammad Mahad1-1/+1
2024-01-16gccrs: Fix bounds checking to check both sidesPhilip Herron1-11/+28
2024-01-16gccrs: unify how we handle DST'sPhilip Herron1-2/+28
2024-01-16gccrs: add new apply_primtiive_type_hint to inference variablesPhilip Herron1-17/+210
2024-01-16gccrs: cleanup header usage to decouple includesPhilip Herron1-0/+2
2024-01-16gccrs: get rid of virtual dispatch for substitution proxysPhilip Herron1-24/+123
2024-01-16gccrs: tyty get rid of useless virtualsPhilip Herron1-32/+5
2024-01-16gccrs: refactor monomoprhized_clone to not use virtual dispatchPhilip Herron1-178/+136
2024-01-16gccrs: refactor TyTy::BaseType::is_unit to not use virtual dispatchPhilip Herron1-31/+50
2024-01-16gccrs: refactor is_concrete to not just virtual dispatchPhilip Herron1-149/+126
2024-01-16gccrs: destructure parameter names.Philip Herron1-4/+1
2024-01-16gccrs: Remove cmp_autoderef_mode hack from old autoderefPhilip Herron1-13/+0
2024-01-16gccrs: Fix ICE in ADTType::is_concretePhilip Herron1-0/+24
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-04-06gccrs: Support for Sized builtin marker traitPhilip Herron1-6/+76
2023-04-06gccrs: Refactor the type unification codePhilip Herron1-169/+60
2023-04-06gccrs: Refactor handle_substitutions to take a referencePhilip Herron1-10/+11
2023-04-06gccrs: Rename header rust-hir-trait-ref.h to rust-hir-trait-reference.hPhilip Herron1-1/+1
2023-04-06gccrs: Refactor all code out of the rust-tyty.h headerPhilip Herron1-4/+956
2023-04-06gccrs: Refactor BaseType, InferType and ErrorType impl into cc filePhilip Herron1-0/+181
2023-04-06gccrs: Refactor SubstitutionRef base class into its own CC filePhilip Herron1-466/+0
2023-04-06gccrs: Refactor TyVar and TypeBoundPredicatesPhilip Herron1-90/+0
2023-04-06gccrs: Support associated type bound argumentsPhilip Herron1-9/+64
2023-02-21gccrs: Add capture tracking to the type info for closuresPhilip Herron1-3/+2
2023-02-21gccrs: Closure support at CallExprPhilip Herron1-2/+11
2023-02-21gccrs: Initial Type resolution for closuresPhilip Herron1-3/+55
2023-02-21gccrs: Method resolution must support multiple candidatesPhilip Herron1-0/+13
2023-02-21gccrs: Support type resolution on super traits on dyn objectsPhilip Herron1-24/+11
2023-01-31gccrs: Refactor TypeResolution to be a simple query based systemPhilip Herron1-4/+41
2023-01-31gccrs: Refactor unify to hit a unify_sitePhilip Herron1-1/+60
2023-01-31gccrs: Add missing location info to coercionsPhilip Herron1-2/+3
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
generated by cgit v1.1 at 2024-10-19 11:12:01 +0000