201 Commits

Author	SHA1	Message	Date
Matthew Brown	872365f444	Fix #2539 - use unaliased parent class name	2020-01-01 17:23:13 -05:00
Matthew Brown	f79088a955	Fix undefined var	2019-12-31 09:13:18 -05:00
Matthew Brown	16b8edd583	Fix #2409 - use more robust assertion parsing	2019-12-31 09:10:14 -05:00
Matthew Brown	55c2f7faa2	Fix #2508 - don’t replace templated types with generic ones inside own function	2019-12-28 18:38:02 -05:00
Matthew Brown	6a6a6ab2d7	Fix dumb	2019-12-27 16:51:49 -05:00
Matthew Brown	982fe627e0	Fix #2515 - allow chained assertions on @psalm-mutation-free methods	2019-12-27 16:44:55 -05:00
Matthew Brown	1b54d058aa	Fix #2488 - add support for @phpstan- annotations	2019-12-20 10:49:10 +00:00
Matthew Brown	797a059a84	Prevent static methods using class instance template types	2019-12-14 09:40:09 -05:00
Matthew Brown	f40b6625eb	Fix #2431 - allow null in template defaults	2019-12-13 21:40:09 -05:00
Brown	6d02aa86e8	Reconcile string emptiness a bit better	2019-12-13 15:51:54 -05:00
Matthew Brown	f45014d403	Fix #2460 - allow assertions on immutable method calls	2019-12-12 09:32:33 -05:00
Brown	05783eb616	Find issues with impossible property values	2019-12-11 17:08:02 -05:00
Matthew Brown	02fbf12337	Only warn about clauses in the currently-scanned conditional	2019-12-08 16:35:56 -05:00
Matthew Brown	088228f119	Fix template default type issue	2019-11-30 12:54:08 -05:00
Matthew Brown	d134482ee7	Fix style	2019-11-30 01:06:48 -05:00
Matthew Brown	baef67e0d8	Fix evaluation order of covariant template params before invariant ones	2019-11-30 01:02:23 -05:00
Matthew Brown	c65540a323	Fix some templating issues in CoreGenericClasses	2019-11-30 00:27:07 -05:00
Matthew Brown	1b850c4026	Skip descendants if required class in && expr cannot be found ... Fixes #2375	2019-11-27 00:44:41 -05:00
Matthew Brown	2c08321603	Ignore union types for now	2019-11-27 00:00:46 -05:00
Brown	2f02da62c1	Add note to future self	2019-11-26 14:47:07 -05:00
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -05:00
Brown	09aafa40c0	No exception when file has issues	2019-11-14 12:54:35 -05:00
Brown	738ce4f850	Fix re-added function storage removal	2019-11-14 12:17:17 -05:00
Brown	939be92f29	Fix stubbing in end-to-end tests	2019-11-14 11:03:41 -05:00
Matthew Brown	8154a9ef16	Fix #2340 - don’t stub functions unnecessarily	2019-11-14 09:27:19 -05:00
Brown	96586f16c0	Fix phpcs issues	2019-11-11 10:11:42 -05:00
Brown	1f42843d42	Fix #2296 - use case insensitive closure ids	2019-11-04 14:48:02 -05:00
Matthew Brown	a82e35a59f	Fix #2291 - extended covariant template param types should be treated as covariant	2019-11-01 18:25:07 +01:00
Matthew Brown	0ac5c32f2f	Fix #2277 - scan psalm-assert types always	2019-10-25 23:39:33 +02:00
Brown	b29227aaf6	Allow taints to be removed via annotation	2019-10-15 16:25:27 -04:00
Matthew Brown	03c39cbe7c	Fix #2223 - make sure lists are handled in more places	2019-10-10 20:16:43 -04:00
Brown	67b32f463e	Support assertions on lists	2019-10-10 10:57:43 -04:00
Brown	b75720c32b	Add more list types	2019-10-09 10:04:34 -04:00
Brown	f8f8b633b1	Suppress a bunch of PossiblyUndefinedArrayOffset issues	2019-10-01 15:44:43 -04:00
Matthew Brown	9af8a9ac38	Fix #2181 - prevent class template types being wiped by anonymous class use	2019-09-27 12:58:32 -04:00
Brown	c5ef2516b5	Fix #2150 - add detection for unnecessary @var annotations ... And also remove them from codebase	2019-09-19 11:59:43 -04:00
Brown	0ac9108814	Fix #2139 - allow comprehension of constant ternaries	2019-09-17 11:29:41 -04:00
Matthew Brown	0b4981f01b	Fix #1551 - do better at inferring class constant types	2019-09-14 14:26:31 -04:00
Matthew Brown	4cac8cd70f	Don’t complain about mutating call when it was inferred during reflection	2019-09-08 10:36:57 -04:00
Matthew Brown	85ae8f93d2	Clear out property assignments when necessary	2019-09-07 18:34:18 -04:00
Matthew Brown	504ccdab8c	$a++, $a-- etc should be treated as assignments	2019-08-30 18:06:45 -04:00
Matthew Brown	6d07663d70	Annotate method getters more accurately	2019-08-30 16:40:32 -04:00
Brown	b7b4baff8f	Add support for @immutable ... Fixes #1272	2019-08-30 12:36:35 -04:00
Brown	1cb8c3f6c4	Infer missing docblock-supplied types from constructor ... Fixes #2071	2019-08-27 10:37:39 -04:00
Brown	9835943294	Fix #2041 - make sure property is always set	2019-08-21 11:25:08 -04:00
Matthew Brown	c5f62d261d	Remove redundant @psalm-suppress in Psalm’s codebsae	2019-08-18 16:10:12 -04:00
Matthew Brown	2146f73782	Prepare for tracking unused suppressions ... Ref #1444	2019-08-18 12:25:48 -04:00
Brown	2b2988b072	Fix #2019 - allow union in @throws	2019-08-13 15:44:18 -04:00
Matthew Brown	ef3771d643	Fix #2015 - complain about invalid @throws classes	2019-08-12 23:42:51 -04:00
Matthew Brown	d5b026839c	Add support for different taint types ref #1990	2019-08-12 23:16:05 -04:00