5154 Commits

Author	SHA1	Message	Date
Daniil Gentili	8a7b201b2c	Update	2022-10-10 12:38:57 +02:00
Daniil Gentili	fe17720441	Revert	2022-10-10 11:43:04 +02:00
Daniil Gentili	f06c459415	Bugfix	2022-10-07 13:18:57 +02:00
Daniil Gentili	0155ad7472	Immutable readonly 3	2022-10-03 15:13:47 +02:00
Daniil Gentili	45452c7125	Immutable readonly 2	2022-10-03 14:02:41 +02:00
Daniil Gentili	5984ccd908	Fix	2022-10-03 12:53:44 +02:00
Daniil Gentili	79b13fab04	Cleanup	2022-10-03 12:09:42 +02:00
Daniil Gentili	c2ce7e63da	Immutable readonly 1	2022-10-03 11:53:05 +02:00
Daniil Gentili	f11ed46f26	Immutable assertions	2022-10-03 11:32:15 +02:00
Daniil Gentili	ef60a0c88c	Fix properties-of on generics&intersections	2022-10-03 11:28:01 +02:00
Daniil Gentili	3abd0b961f	Immutable Unions	2022-10-03 10:45:36 +02:00
Peter van Dommelen	2eb4ca0e3b	Within the reconciler's fast path, do not require the existing type to include mixed when handling an Any assertion.	2022-09-18 17:07:30 +02:00
Peter van Dommelen	05f28ce8cd	Do not widen type to mixed and lose the existing type information when an Any assertion is used. ... Fixes #8084.	2022-09-18 17:02:09 +02:00
Matthew Brown	d957ff2015	Fix mixed type hole when sending Foo<string> to Foo<mixed> (#8481) ... * Fix mixed type hole when sending Foo<string> to Foo<mixed> * Fix ifThisIs test * Suppress bugs highlighted with fix * Fix PHPDoc parsing	2022-09-13 13:13:06 -04:00
Daniil Gentili	979091d2ab	Optimize	2022-08-17 13:38:11 +02:00
Daniil Gentili	0220da0b32	Add tests	2022-08-17 13:30:36 +02:00
Daniil Gentili	95ef63ece9	Update	2022-08-17 13:25:00 +02:00
Daniil Gentili	24b008ee40	Fix	2022-08-17 13:19:25 +02:00
Daniil Gentili	1401bf94db	Fix #8414	2022-08-17 13:11:27 +02:00
Bitwise Operators	a5c550cea4	Fix incorrect handling of null response	2022-08-03 18:27:32 +02:00
Bitwise Operators	f782313c45	Add BitwiseNot and BooleanNot operators to SimpleTypeInferer. Should fix #8307.	2022-08-03 15:48:54 +02:00
Daniil Gentili	24f7920e9a	Fix if propagation (#8326) ... * Add failing unit test * Fix test * Revert "Add comment for skipped test" This reverts commit e4f73beb08. * Revert "Simplify context updates even more" This reverts commit a32e63f131. * Revert "Remove special handling for elseifs that breaks for else if" This reverts commit d7d9ddc653. * Fix test	2022-07-30 19:20:05 -04:00
Bruce Weirdan	c9e6b54050	CS fix	2022-07-29 23:08:11 -04:00
Bruce Weirdan	7444ea8e2d	Simplify some methods to keep Psalm happy	2022-07-29 23:01:49 -04:00
Bruce Weirdan	238b54abf8	Revert one particular replacement that confuses Psalm	2022-07-29 22:00:21 -04:00
Bruce Weirdan	58e87fa5e0	Applied ArraySpreadInsteadOfArrayMergeRector (take 2)	2022-07-29 18:17:21 -04:00
orklah	7c4228fb56	Merge pull request #8324 from Nicelocal/fix_union_assertions ... Fix union assertions	2022-07-28 19:06:14 +02:00
Daniil Gentili	c409675e3e	Fix intersection of final classes	2022-07-27 18:46:07 +02:00
Daniil Gentili	c2a8d1bb06	cs	2022-07-27 18:00:24 +02:00
Daniil Gentili	09fb879428	Fix #8322, #8319	2022-07-27 17:42:48 +02:00
Daniil Gentili	18106af5e5	Refactor	2022-07-27 14:39:34 +02:00
AndrolGenhald	094621d5bb	Fix array-shape value type being mixed instead of single key being mixed.	2022-07-26 12:00:05 -05:00
AndrolGenhald	ee68184527	Fix key comparison when unpacking Traversables.	2022-07-26 12:00:05 -05:00
AndrolGenhald	2b389df270	Use count instead of empty.	2022-07-26 12:00:05 -05:00
AndrolGenhald	d54eebfe02	Fix various array spread issues. ... - Correctly infer `array` and `list` instead of `non-empty-array` and `non-empty-list` (fixes #7296) - Add support for spreading string keys (fixes #7297). - Show issue when trying to unpack non-iterable - Show issue when trying to unpack iterable with non-array-key key - Re-added invalid PHP 8.0 tests removed in #6613 - Unpacked lists with known keys will be inferred as eg `array{0: int, 1: int}<int<0, max>, int>` now but will still be treated as lists - Unpacked arrays with known keys will now be inferred as eg `array{a: string, b: string}<int, int>` instead of `array<int|string, int|string>`	2022-07-26 12:00:03 -05:00
AndrolGenhald	ba6270c06a	Fix type reconciliation breaking Context::$references_in_scope (fixes #8289).	2022-07-21 14:27:21 -05:00
orklah	85fe7e8bcf	Merge pull request #8283 from AndrolGenhald/feature/value-of-backed-enum ... Allow `value-of` to work with backed enums (fixes #7874).	2022-07-20 18:03:58 +02:00
AndrolGenhald	66ebf4a55c	Rename TKeyOfArray to TKeyOf.	2022-07-18 14:44:29 -05:00
AndrolGenhald	b51b5ac903	Allow value-of to work with backed enums (fixes #7874).	2022-07-18 14:10:06 -05:00
Matt Brown	d7d9ddc653	Remove special handling for elseifs that breaks for else if	2022-07-17 12:51:17 -04:00
Matt Brown	8c716f8be7	Support taints in new $_GET["a"] calls	2022-07-15 22:17:59 -04:00
AndrolGenhald	285740a753	Merge branch '4.x'	2022-07-07 15:01:38 -05:00
Christian Schiffler	8ffab5eada	Remove now obsolete casts	2022-07-06 08:59:19 +02:00
Christian Schiffler	ea9903a2c6	Fix variable annotation	2022-07-06 08:59:07 +02:00
Christian Schiffler	6305c21b5b	Remove now obsolete loop ... The class names in property map are now always lowercase	2022-06-29 09:23:45 +02:00
kkmuffme	90586083e6	check if file in cache already before adding ... * reduces I/O by 30% * minimal performance improvement (<0.5%)	2022-06-28 20:46:23 +02:00
kkmuffme	9082eab915	improve cache hash performance ... * do not concatenate with timestamp as this is slow, since $file_contents may be big * use file contents not file path for cache hash only to ensure it works if file_path not set but file_content is * improves performance by ~5%	2022-06-28 20:45:03 +02:00
kkmuffme	57239a7c8e	assign keys to variable for better performance ... improves performance by ~1-1.5%	2022-06-28 20:40:43 +02:00
kkmuffme	4048bb9d8b	only sort when necessary and faster hash ... * sort is much more expensive than count, so we only sort if we have something to sort * could implement for ksort too, but advantage there is minimal since we almost always have more than 1 possibility * use same hash algorithm as in other places (= faster) * reduces runtime by 2-3%	2022-06-28 20:40:43 +02:00
kkmuffme	4db928e923	split loop for better performance ... * check isset for all elements first, as array_diff is much more expensive * Improves performance by 1%	2022-06-28 20:40:43 +02:00