Code

[PoC] Limited Abstract Generics#18260

Code

Draft

Girgias wants to merge 41 commits intophp:masterphp/php-src:masterfrom

Girgias:associated-typesGirgias/php-src:associated-typesCopy head branch name to clipboard

Commits

Commits on May 22, 2025

• Zend: Use pointer to zend_type for variance checks

  Girgias

  committed
  e6fdff1

  Copy full SHA for e6fdff1

• Add T_TYPE token

  Girgias

  committed
  a192a3a

  Copy full SHA for a192a3a

• Support minimal compilation of associated type

  Girgias

  committed
  9304a82

  Copy full SHA for 9304a82

• Associate type to CE and minimal duplicate check

  Girgias

  committed
  066f04f

  Copy full SHA for 066f04f

• Prevent associated type from being in a union or intersection type

  Girgias

  committed
  b7cf20b

  Copy full SHA for b7cf20b

• Support invariant bound types for associated types

  Girgias

  committed
  0ec2ea6

  Copy full SHA for 0ec2ea6

• Add true global for mixed type

  Girgias

  committed
  e215b8b

  Copy full SHA for e215b8b

• Store zend_type ptr in associated types HT

  Girgias

  committed
  e6a1a7e

  Copy full SHA for e6a1a7e

• Add parser support for constraint type

  Girgias

  committed
  d252759

  Copy full SHA for d252759

• Add variance checking for constrained associated type

  Girgias

  committed
  1691402

  Copy full SHA for 1691402

• Add basic support for extending interfaces with associated type

  Girgias

  committed
  139bbf6

  Copy full SHA for 139bbf6

• Fix namespaces interfering with AT

  Girgias

  committed
  2b9f0f5

  Copy full SHA for 2b9f0f5

• Improve AT constraint indication when dumping type to string

  Girgias

  committed
  b1a3546

  Copy full SHA for b1a3546

• Fix various unhandled cases where AT is part of a union type

  Girgias

  committed
  363f817

  Copy full SHA for 363f817

• [skip ci] Get explicit notation working

  Show description for 2198aaf
  Girgias

  committed
  2198aaf

  Copy full SHA for 2198aaf

• Remove most of associated types

  Girgias

  committed
  be7efd5

  Copy full SHA for be7efd5

• rename

  Girgias

  committed
  87f9544

  Copy full SHA for 87f9544

• Did I finally fix generic type binding?

  Girgias

  committed
  56f2f1c

  Copy full SHA for 56f2f1c

• fix stuff

  Girgias

  committed
  2d83b54

  Copy full SHA for 2d83b54

• move stuff

  Girgias

  committed
  51b689e

  Copy full SHA for 51b689e

• name of variable

  Girgias

  committed
  cad9308

  Copy full SHA for cad9308

• Rewrite generic type binding for inherited interfaces

  Girgias

  committed
  5e076d0

  Copy full SHA for 5e076d0

• Do some fixes about implicit and explicit interface implementations

  Girgias

  committed
  beabf2b

  Copy full SHA for beabf2b

• Fix namespace resolution for interfaces

  Girgias

  committed
  36a4736

  Copy full SHA for 36a4736

• Use safe_pemalloc for generic params alloc

  Girgias

  committed
  7fbdc0a

  Copy full SHA for 7fbdc0a

• Fix AST and name resolution

  Girgias

  committed
  6cdc4f5

  Copy full SHA for 6cdc4f5

• Extra fixes

  Girgias

  committed
  7b38d21

  Copy full SHA for 7b38d21

• Rename last associated macro stuff to generic

  Girgias

  committed
  20e21ab

  Copy full SHA for 20e21ab

• Add bound resolved type to string for error messages

  Girgias

  committed
  92a45c7

  Copy full SHA for 92a45c7

• Fix typo in variable name

  Girgias

  committed
  d1bae38

  Copy full SHA for d1bae38

• Update wording for error message

  Girgias

  committed
  518d7ea

  Copy full SHA for 518d7ea

• Add failing test

  Girgias

  committed
  9d17cae

  Copy full SHA for 9d17cae

• Add some const qualifiers

  Girgias

  committed
  00372bd

  Copy full SHA for 00372bd

• Change to static storage

  Girgias

  committed
  02695e0

  Copy full SHA for 02695e0

• rename interfaces

  Girgias

  committed
  6fd8860

  Copy full SHA for 6fd8860

• Fix redeclaration of method, and other issues

  Girgias

  committed
  ad1ae05

  Copy full SHA for ad1ae05

• Add an index field to zend_type

  Girgias

  committed
  fba8f76

  Copy full SHA for fba8f76

• Stop relying on the generic type name to find bound type

  Show description for 106c3d2
  Girgias

  committed
  106c3d2

  Copy full SHA for 106c3d2

• Refactor bind_generic_types_for_inherited_interfaces

  Girgias

  committed
  439458c

  Copy full SHA for 439458c

• Zend: Inherit interfaces early

  Girgias

  committed
  229fcc9

  Copy full SHA for 229fcc9

• Fix some implicit bound type issues

  Girgias

  committed
  891f24d

  Copy full SHA for 891f24d