Pure Intersection types - #6799

Merged

Girgias merged 40 commits into

Girgias:intersection-types

Jul 5, 2021

Commits on Jul 5, 2021

Start implementing intersection types
Girgias
committed
941d55c
Gross intersection type in parameter types syntax ambiguity workaround

iluuu1994
authored and
Girgias
committed
f9c78be
Fix variance when child is union and parent is intersection
Girgias
committed
2d30485
Reorder execution and expand comment
Girgias
committed
062d557
Collapse branches together
Girgias
committed
49f53a9
Fix Reflection test after rebase (Fiber)
Girgias
committed
f98f402
Fix after review
Girgias
committed
0824c47
Alias T_AMPERSAND
Girgias
committed
af47afc
Revert "Alias T_AMPERSAND"
Girgias
committed
9e9de43
Fix an additional variance bug
Girgias
committed
05723db
Address review
Girgias
committed
7c4f70c
Allow self and parent to be part of an intersection type
Girgias
committed
93ca487
Support static type in intersection
Girgias
committed
cff68c9
Revert "Support static type in intersection"
Girgias
committed
b541b24
Revert "Allow self and parent to be part of an intersection type"
Girgias
committed
020b586
Move common code into always inlined functions
Girgias
committed
b0c7519
Comment nits
Girgias
committed
8ca34b3
Apply nit to reflection test
Girgias
committed
b7c322e
Adjust dfa pass
Girgias
committed
1bf0dd7
Drop unnecessary try/catch
Girgias
committed
ac74551
Refactor zend_resolve_ce()
Girgias
committed
a0a1d90
Refactor zend_check_type_slow()
Girgias
committed
a96e956
Comment and reorder the parser hack
Girgias
committed
e334504
Refactor check for self/parent
Girgias
committed
a02eb62
Export common type checking code for JIT
Girgias
committed
9508af7
Fix parse error message for "&"

nikic
authored and
Girgias
committed
5ae1d2a
Merge zend_is_single_type_subtype_intersection() function

nikic
authored and
Girgias
committed
3cbab3b
Rebase fixup

nikic
authored and
Girgias
committed
a47b77a
Unify early exit status handling, add comments

nikic
authored and
Girgias
committed
c8b965a
Adjust misleading comment

nikic
authored and
Girgias
committed
2070319
Add failing test

nikic
authored and
Girgias
committed
2c6d155
Handle object/iterable, fixup rebase

nikic
authored and
Girgias
committed
681f1c4
Handle intersection in can_elide_return_type_check()

nikic
authored and
Girgias
committed
1446dec
Code cleanup

nikic
authored and
Girgias
committed
6166ed0
Return status like in branch above
Girgias
committed
a6d28dc
Add a variance test
Girgias
committed
129f1ad
Don't load classes of an intersection if parent has object
Girgias
committed
ea33768
Revert "Don't load classes of an intersection if parent has object"
Girgias
committed
8873527
Add comment
Girgias
committed
891c59b
[skip-ci] Add UPGRADING entry and fix comments
Girgias
committed
799b0cb