23 Commits

Author	SHA1	Message	Date
orklah	8e0cf0e74b	add test	2021-10-25 20:16:58 +02:00
orklah	532aa9058b	add and fix tests	2021-10-02 10:01:05 +02:00
orklah	f62b83a190	Assert intersection type when two variables are compared (#5774)	2021-05-18 16:14:58 -04:00
orklah	1bb4a05725	NullsafeMethodCall makes the variable not null for the rest of the scope (#5771)	2021-05-14 19:21:01 -04:00
Matthew Brown	859b4a2caa	Fix #5725 – don’t transform non-docblock types unnecessarily	2021-05-09 12:03:42 -04:00
AndrolGenhald	d4590711d6	Fix object-like array keys when combining string and automatic keys (fixes #5427). (#5428) ... * Fix object-like array keys (fixes #5427). * Fix incorrect return types for tests. * Fix false positive list with literal int key.	2021-03-19 21:44:44 -04:00
Matt Brown	bef9ab37e6	Fix #4759 – don’t generate assertion when assigning to same-named variable	2020-12-03 09:42:26 -05:00
Matt Brown	41af653bd4	Add support for some dependent types	2020-11-24 14:50:35 -05:00
Matt Brown	3cde617ecc	Put assignment-in-conditional tests in their own file	2020-11-06 12:41:00 -05:00
Matt Brown	8dd5dc5b72	Improve algebra handling a little better	2020-10-26 16:34:56 -04:00
Matt Brown	94e26b2257	Empty checks variables are really falsy checks	2020-10-24 12:46:27 -04:00
Matt Brown	a832d77d73	Add logic to weed out unnecessary clauses	2020-10-24 11:31:36 -04:00
orklah	ead107fa9e	More return types (#4173) ... * add native return types * redundant phpdoc	2020-09-12 11:24:05 -04:00
Brown	bd27e8b17b	Fix #4109 - detect duplicate match condition	2020-09-02 20:08:09 -04:00
Brown	988e17f11d	Make clause fully immutable	2020-08-26 15:35:29 -04:00
Brown	e0f5595307	Fix #3932 - try to get assertions of negated expression if instant negation fails	2020-08-05 16:53:30 -04:00
Brown	550ba0a4c9	Compare to real outer context, not if one ... Fixes #3091	2020-04-07 15:13:17 -04:00
Brown	61c979136f	Fix #3091 - simplify elseif negated clauses where possible	2020-04-07 13:04:24 -04:00
Matthew Brown	32d5c92428	Split up test	2020-03-29 18:28:49 -04:00
Brown	e1af0e01ee	Revert code back to how it was	2019-12-13 17:52:37 -05:00
Brown	6d02aa86e8	Reconcile string emptiness a bit better	2019-12-13 15:51:54 -05:00
Matthew Brown	8f25183784	Fix #2459 - don’t add assertions to parent context unnecessarily	2019-12-12 00:37:00 -05:00
Matthew Brown	d7fdd9b179	Move more tests into appropriate directory	2019-12-07 13:38:06 -05:00