23 Commits

Author	SHA1	Message	Date
Brown	98622783ec	Allow lists to have their types refined ... Fixes #3605	2020-06-18 10:01:16 -04:00
Matthew Brown	15e753e279	Fix #3443 - add InvalidDocblock issue for @psalm-assert Foo|!Bar	2020-05-23 22:52:21 -04:00
m0003r	1749c19a29	Fix $assertion_var_id calculation in method calls (#3115)	2020-04-09 23:03:53 -04:00
Brown	09663b5938	Fix #3095 - allow intersection of arrays after assertions	2020-04-09 23:02:28 -04:00
m0003r	4d1be3f0c4	Allow plain assertions (@psalm-assert) about $this (fixes #3105) (#3108) ... * Allow plain assertions (@psalm-assert) about $this (fixes #3105) * Fix multiple assertion combining * Fix multiple assertion combining for $this again * Add test for multiple assertion combining for $this again	2020-04-09 08:15:07 -04:00
Brown	3c9ec90919	Fix deprecated call	2020-04-03 14:56:11 -04:00
Brown	adbe44d7bb	Revert countable checks	2020-01-31 15:24:44 -05:00
Brown	37765098e9	Fix #2725 - allow empty checks on objects that implement countable	2020-01-31 12:55:33 -05:00
Matthew Brown	ff01f41b44	Allow strings in assert annotation	2020-01-27 23:15:50 -05:00
Matthew Brown	8ccd4860e3	fclose should treat resource as passed-by-reference	2020-01-17 13:12:00 -05:00
Matthew Brown	adf230e873	Fix #2636 - allow non-empty-list in assert annotation	2020-01-17 09:06:34 -05:00
Brown	2c7197ab4b	Fix #2578 - improve inference of functions beginning with assert	2020-01-09 15:45:17 -05:00
Matthew Brown	16b8edd583	Fix #2409 - use more robust assertion parsing	2019-12-31 09:10:14 -05:00
Matthew Brown	366e2d30a3	Improve assertions support a bit more	2019-12-30 10:48:50 -05:00
Matthew Brown	19faa31865	Allow assertions on nested properties	2019-12-30 10:01:31 -05:00
Matthew Brown	15cd62d332	Fix #2484 - add support for spaces in assert-if-true types	2019-12-19 19:24:26 +00:00
Matthew Brown	3faf1f8bc2	Improve int assertions	2019-12-10 09:44:38 -05:00
Brown	74de32fefe	Allow multiple @psalm-assert annotations for a given variable	2019-12-09 17:21:58 -05:00
Brown	842b2a53df	Refine lists with object-like array types ... Fixes #2357	2019-11-26 12:22:28 -05:00
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -05:00
Matthew Brown	0ac5c32f2f	Fix #2277 - scan psalm-assert types always	2019-10-25 23:39:33 +02:00
Brown	67b32f463e	Support assertions on lists	2019-10-10 10:57:43 -04:00
Brown	56856f3da0	Break up assert tests	2019-10-01 17:09:34 -04:00