summaryrefslogtreecommitdiff
path: root/gcc/rust/typecheck
AgeCommit message (Expand)Author
2025-11-17gccrs: Fix segv in errors in type checking an impl itemPhilip Herron
2025-11-17gccrs: Support generic constant impl itemsPhilip Herron
2025-11-17gccrs: Fix const generics handling on array typesPhilip Herron
2025-11-17gccrs: Add support for binding const generic values to pathsPhilip Herron
2025-10-30gccrs: Attempt to resolve pattern items in tuple pattern with a rest patternYap Zhi Heng
2025-10-30gccrs: Fix ICE on enum in tuple struct patternRyo Yoshida
2025-10-30gccrs: Fix ICE for repr attribute malformationYap Zhi Heng
2025-10-30gccrs: fix ICE in TyVar constructorlishin
2025-10-30gccrs: Emit error when tuple-indexing on non-tuplesRyo Yoshida
2025-10-30gccrs: Refactor TyTy::ConstType into separate typesPhilip Herron
2025-10-30gccrs: Use rich_location for TupleStructPattern type check num field errorYap Zhi Heng
2025-10-30gccrs: Implement lowering of AST::TupleStructItemsHasRestYap Zhi Heng
2025-10-30gccrs: Fix StructPattern type checking rejecting tuple struct scrutineeYap Zhi Heng
2025-10-30gccrs: Add HIR lowering support for rest pattern in struct patterns' ASTYap Zhi Heng
2025-10-30gccrs: Fix ICE on copied array expressionsPhilip Herron
2025-10-30gccrs: Remove old hack from resolve operator overloadPhilip Herron
2025-10-30gccrs: fnptr types can hold onto generic params so it needs to handle substsPhilip Herron
2025-10-30gccrs: Fix ICE for invalid const capacity expression handlingPhilip Herron
2025-10-30gccrs: track abi and unsafety on fnptrs for proper type checkingPhilip Herron
2025-10-30gccrs: get rid of more clones in unify pathPhilip Herron
2025-10-30gccrs: Fix segv when handling invalid array capacitiesPhilip Herron
2025-10-30gccrs: Add implicit infer support for unify on const typesPhilip Herron
2025-10-30gccrs: allow unifications against non const typesPhilip Herron
2025-10-30gccrs: Fix bug with unconstrained const genericPhilip Herron
2025-10-30gccrs: track generic const generics properlyPhilip Herron
2025-10-30gccrs: Fix formatting of tyty codePhilip Herron
2025-10-30gccrs: Remove fully the can_eq TyTy::BaseType::can_eq interfacePhilip Herron
2025-10-30gccrs: get rid of last can_eq usage finallyPhilip Herron
2025-10-30gccrs: reuse an error mark node instead of new ones each failurePhilip Herron
2025-10-30gccrs: simplify cloning of types during unifyPhilip Herron
2025-10-30gccrs: remove 2nd last usage of can_eqPhilip Herron
2025-10-30gccrs: Add check bounds flag to unify rules for compatability checksPhilip Herron
2025-10-30gccrs: Update can_eq to be a types_compatable interfacePhilip Herron
2025-10-30gccrs: respect the unify rules commit flagPhilip Herron
2025-10-30gccrs: Remove some const usage so we can get rid of more can_eq usagePhilip Herron
2025-10-30gccrs: Make the coerce borrowed pointer consistent with try flagPhilip Herron
2025-10-30gccrs: Use as member function instead of static castPierre-Emmanuel Patry
2025-10-30gccrs: Put nevertype cercion into it's own functionPierre-Emmanuel Patry
2025-10-30gccrs: Change coerce_unsize error handlingPierre-Emmanuel Patry
2025-10-30gccrs: Refactor return statementsPierre-Emmanuel Patry
2025-10-30gccrs: Remove unused variable assignmentsPierre-Emmanuel Patry
2025-10-30gccrs: Avoid copy when constructing TypeBoundPredicatePierre-Emmanuel Patry
2025-10-30gccrs: Convert lookup return type to optionalPierre-Emmanuel Patry
2025-10-30gccrs: Treat function pointers like pointers for castPierre-Emmanuel Patry
2025-10-30gccrs: Fix generic type constraintsPierre-Emmanuel Patry
2025-10-30gccrs: Implement rest pattern support for slice patternsYap Zhi Heng
2025-10-30gccrs: Add IdentifierPattern subpattern support for ClosureParamInferYap Zhi Heng
2025-10-30gccrs: fix ICE by skipping invalid (non-FNDEF) candidateslishin
2025-10-30gccrs: fix error numberRyutaro Okada
2025-10-30gccrs: Improve vector usages and avoid copies.Pierre-Emmanuel Patry