543 Commits

Author	SHA1	Message	Date
Matt Brown	bd22f9425c	Fix #175 - support interface intersection types with other interfaces	2017-11-27 16:49:59 -05:00
Matt Brown	a6f3781452	Fix #340 - give up with mixed type when accessing unknown key on objectlike	2017-11-27 12:01:23 -05:00
Matt Brown	8b0d99e28b	Fix extending of core classes that do bad things	2017-11-27 11:43:06 -05:00
Matthew Brown	afcbc113c9	Fix #228, fix #336 by improving checking of inherited signatures	2017-11-26 16:03:17 -05:00
Matthew Brown	18e68a60de	Fix #334 by allowing interfaces as foreach args to be correctly interpreted	2017-11-24 12:57:00 -05:00
Matthew Brown	4312ef380b	Fix issues found by improved Psalm checks ... cc @TysonAndre, found with RedundantCondition checks	2017-11-24 12:10:30 -05:00
Matthew Brown	fd3de443b2	Update loop with union of existing types	2017-11-21 22:13:46 -05:00
Matthew Brown	e3b688b06d	Fix #316 - self resolves to proper class	2017-11-21 21:50:39 -05:00
Matthew Brown	b1a35d6a6e	Remove numeric types with !is_numeric check, fix #330	2017-11-21 20:58:08 -05:00
Matthew Brown	f5f7849d3a	Fix erroneous merging of types	2017-11-20 20:06:00 -05:00
Matt Brown	a069cf4ea9	Don‘t turn a string into an array|string by accident	2017-11-20 17:10:05 -05:00
Matt Brown	0c2ea418e3	Fix #327 - prevent null array value from killing assignment	2017-11-20 16:19:40 -05:00
Matt Brown	f46fd0b79f	Fix array access on objects	2017-11-20 11:49:26 -05:00
Matthew Brown	9d025fad8f	Only replace ? where appropriate	2017-11-20 00:32:40 -05:00
Matthew Brown	957600623c	Fix issue with byref template params leaking	2017-11-20 00:12:17 -05:00
Matthew Brown	ccc0583bf8	Fix issue with bad assign after array_pop/array_shift	2017-11-19 23:46:32 -05:00
Tyson Andre	cea5dca5dc	Allow using nullable shorthand (?) within an array (#326)	2017-11-19 23:36:37 -05:00
Matthew Brown	ae799da8d0	Add root array var when updating array key type in if	2017-11-19 23:25:14 -05:00
Matthew Brown	381eb2157a	Avoid undefined notice in var comparison	2017-11-19 23:19:49 -05:00
Matthew Brown	5698b2d363	Update root var with more accurate object-like type	2017-11-19 22:28:52 -05:00
Matthew Brown	90bcd99eab	Fix issue where array_shift/array_pop didn’t mark array as modified	2017-11-19 21:36:09 -05:00
Matthew Brown	8b2df09f0f	Fix issue with object-like reassignment	2017-11-19 21:24:29 -05:00
Matthew Brown	3418eb494a	Always set a fallback mixed type on a mixed property fetch	2017-11-19 14:58:48 -05:00
Matthew Brown	942bc0a663	Add new MixedTypeCoercion issue, fixes #320	2017-11-19 13:42:48 -05:00
Matthew Brown	75b6e21801	Fix #315 - improve checking of object-like arrays in function params	2017-11-19 13:05:35 -05:00
Matthew Brown	5ff4badf33	Refactor array analysis to improve reliability and accuracy (#325)	2017-11-19 12:33:43 -05:00
Matthew Brown	1a39224abc	Fix issues that improved array checks found	2017-11-19 12:14:02 -05:00
Matt Brown	39baa00fd3	Fix issue with nested object-like array updating	2017-11-17 16:33:36 -05:00
Tyson Andre	1c25ca1a0c	Fix false positives, add tests of @psalm-seal-properties (#318)	2017-11-17 16:19:48 -05:00
Matt Brown	2a96e323e7	Fix assignment to arrays after object-like	2017-11-17 12:27:16 -05:00
Matthew Brown	965352c711	Fix #312 - support parsing object-like arrays without keys	2017-11-17 01:18:13 -05:00
Matthew Brown	a08306973a	Fix #302 - add a way to seal objects with magic properties	2017-11-16 20:47:58 -05:00
Matthew Brown	440db3be89	Fix #313 - correctly analyse closure self return types	2017-11-16 20:06:00 -05:00
Matthew Brown	7d33db0d19	Fix issue with array unification after scanning	2017-11-16 01:11:46 -05:00
Matthew Brown	36a760657d	Fix #311 and introduce PossiblyInvalidArrayOffset	2017-11-16 00:27:11 -05:00
Matthew Brown	6c9cdd896b	Separate InvalidArrayAccess and InvalidArrayOffset	2017-11-15 21:10:07 -05:00
Matthew Brown	f136fc3296	Fix #305 by making test error message checks more accurate	2017-11-15 21:04:25 -05:00
Matthew Brown	abe7c003ab	Fix #309 - borrowing fix from @TysonAndre	2017-11-15 20:45:53 -05:00
Matt Brown	a99135c4d0	Fix #300 - add PossiblyInvalidPropertyFetch	2017-11-15 11:44:13 -05:00
Matt Brown	c5faa2d06a	Fix #299 - add PossiblyInvalidMethodCall	2017-11-15 11:34:40 -05:00
Matt Brown	9111b1c725	Fix #301 - add PossiblyInvalidPropertyAssignment	2017-11-15 11:15:03 -05:00
Matthew Brown	f96f3a467d	Fix #296 - add issue for raw object iteration	2017-11-14 22:55:48 -05:00
Matthew Brown	2e6b93e4d0	Fix #289, make inferred type of yield from expressions mixed	2017-11-14 22:29:15 -05:00
Matthew Brown	23e4c8f68b	Fix #290 - check for yields in assignments	2017-11-14 22:08:15 -05:00
Matthew Brown	3ade4b9559	Fix #293, be case invariant to self & static	2017-11-14 21:56:29 -05:00
Matthew Brown	b2ae9a2892	Fix #291, #292 and #297 by improving docblock parsing	2017-11-14 21:43:31 -05:00
Matt Brown	7e8ae33d56	Fix #288 - get rid of MethodSignatureMismatch issues where PHP doesn’t worry	2017-11-13 16:31:33 -05:00
Matthew Brown	a0a9128375	Fix #285 - add PossiblyInvalidArrayAccess	2017-11-11 21:22:11 -05:00
Matthew Brown	4f2a200b45	Fix #283 - add more refined PossiblyUndefinedMethod check	2017-11-11 14:53:35 -05:00
Matthew Brown	2f1e3652b7	Fix #274 - improve array addition inference for objectlike arrays	2017-11-11 14:19:57 -05:00