3486 Commits

Author	SHA1	Message	Date
Matthew Brown	4dc045f30d	Support analysing preg_match_all args in reverse to infer matches type	2021-01-29 11:38:54 +01:00
Brown	f7474faff2	Hard code possible bit-shift values	2021-01-29 11:38:54 +01:00
Brown	4583467325	Fix #4128 - improve understanding of preg_match_all	2021-01-29 11:38:53 +01:00
Brown	be3d130965	Fix #4132 - ignore purity of $this when checking for initialisation	2021-01-29 11:38:53 +01:00
orklah	61512da144	add native return types (#4116) ... * add native return types * remove redundant phpdoc	2021-01-29 11:38:53 +01:00
Brown	f9d6b9d7c1	Improve tests a little	2021-01-29 11:38:53 +01:00
Brown	06a9ae9c6c	Clean up immutable fix	2021-01-29 11:38:52 +01:00
Brown	4d0b91fcd2	Allow passing mutable object into immutable class to store reference	2021-01-29 11:38:52 +01:00
Brown	e3d7d0315a	Fix #4109 - detect duplicate match condition	2021-01-29 11:38:52 +01:00
Brown	58cda0a003	Fix #4112 - allow slashes in docblock tag names	2021-01-29 11:38:52 +01:00
orklah	becac547fb	Short list syntax (#4102) ... * Short list syntax * revert unrelated CS	2021-01-29 11:38:52 +01:00
Brown	b94de0c8b8	Add more accomodations for TPositiveInt	2021-01-29 11:38:51 +01:00
Brown	73770f4268	Fix erroneous Closure::__invoke return type	2021-01-29 11:38:51 +01:00
Brown	472c2839ad	Fix crash with @var over echo	2021-01-29 11:38:51 +01:00
Brown	8611f99e09	Fix exhaustiveness checks for const value	2021-01-29 11:38:50 +01:00
Brown	d7cc68cb09	Fix issues	2021-01-29 11:38:50 +01:00
Brown	a0a7f8a98b	Catch unmatched matches	2021-01-29 11:38:50 +01:00
Brown	b62719c9c8	Fix some magic method calls when a return type provider exists	2021-01-29 11:38:50 +01:00
Brown	eae55eb584	Fix #4093 - prevent redundant condition in presence of positive-int	2021-01-29 11:38:50 +01:00
Brown	9b726904f9	Ignore redundant conditions inside match potentially in perpetuity?	2021-01-29 11:38:49 +01:00
Brown	b785efb210	Support match expressions and throw expressions	2021-01-29 11:38:49 +01:00
Brown	36b1a21fcf	Support mixed type natively	2021-01-29 11:38:49 +01:00
Brown	65c855a4d3	Support static return type	2021-01-29 11:38:49 +01:00
Brown	e5aae7f9e6	Support PHP 8 union types	2021-01-29 11:38:49 +01:00
Brown	5bd8fa61c6	Change version test	2021-01-29 11:38:49 +01:00
Brown	c96ba8d1f5	Add some backwards-incompatible changes for 4.x	2021-01-29 11:38:48 +01:00
Brown	226f3cef6a	Improve understanding of negated count queries	2021-01-29 11:38:48 +01:00
Brown	4b628c7db5	Improve Closure::fromCallable handling	2021-01-29 11:38:48 +01:00
Tyson Andre	c9ff06d4d4	Fix expected php 8.0 syntax error (#4084) ... This will very likely be parsed as an attribute in php 8.0 See https://wiki.php.net/rfc/shorter_attribute_syntax_change#secondary_vote	2021-01-29 11:38:48 +01:00
Brown	38cd48657f	Fix modulo test	2021-01-29 11:38:48 +01:00
Brown	e5e50926d4	Fix #4083 - namespace docblock method classes the proper way	2021-01-29 11:38:48 +01:00
Brown	b7002ceb9f	Fix treatment of closure params in array_map	2021-01-29 11:38:48 +01:00
Brown	9f246938ba	Fix #4081 - better inference of positive ints	2021-01-29 11:38:48 +01:00
Brown	5232f3012c	Fix test	2021-01-29 11:38:47 +01:00
Brown	02255ae26b	Fix #4077 - always track closure purity	2021-01-29 11:38:47 +01:00
Brown	5835eec863	Fix #4061 - allow indirect null comparison check	2021-01-29 11:38:46 +01:00
Brown	489cd99752	Allow bare pure-callable in namespace cc @azjezz	2021-01-29 11:38:46 +01:00
Saif Eddin G	a0a30c500c	add pure-callable type (#4066)	2021-01-29 11:38:46 +01:00
Brown	6d43a6696c	Make clause fully immutable	2021-01-29 11:38:46 +01:00
Brown	b09309aa92	Prevent unset on immutable properties	2021-01-29 11:38:46 +01:00
Brown	11ee00442d	Refine iterable key after is_array check ... Ref #4038	2021-01-29 11:38:46 +01:00
Brown	e585955c96	Use immutable data structures for clause calculations	2021-01-29 11:38:45 +01:00
Brown	ab8d794709	Refine test for windows compat	2021-01-29 11:38:45 +01:00
Brown	4735ca39e2	Fix get_class-inferred templating	2021-01-29 11:38:45 +01:00
Brown	a0a9c9b7bc	Fix #4038 - don’t remove null types unnecessarily in mixed union	2021-01-29 11:38:45 +01:00
Brown	bd7f207e31	Preserve intersections when expanding templated types ... Fixes #4043	2021-01-29 11:38:45 +01:00
Brown	6aa8a492ac	Create empty params by default for SplObjectStorage ... Fixes #4055	2021-01-29 11:38:45 +01:00
Brown	51bfb3666b	Fix #4052 - foreach over an iterable is impure	2021-01-29 11:38:45 +01:00
Brown	8ca604a533	Expand object-with-properties ... Fixes #4057	2021-01-29 11:38:45 +01:00
Brown	91e1e5f0f6	Fix #4036 - add immutable annotations automatically too	2021-01-29 11:38:44 +01:00