229 Commits

Author	SHA1	Message	Date
Matthew Brown	7b887efc2c	Fix #2547 - use better conditional check	2020-01-11 12:33:58 -05:00
Matthew Brown	2ae85f7c8b	Fix #2593 - don’t crash with bad @param-out annotation	2020-01-11 10:47:31 -05:00
Brown	7482b9e56f	Emit all stubs discovered by Psalm during analysis ... Fixes #827	2020-01-08 17:23:40 -05:00
Matthew Brown	2fb5a9d326	Few small improvements	2020-01-05 18:37:07 -05:00
Matthew Brown	9fa2db1b6c	Move Union::getTypes to Union::getAtomicTypes	2020-01-04 12:20:26 -05:00
Matthew Brown	df33405635	Seal properties and methods whenever @method/@property is used	2020-01-03 08:44:52 -05:00
Matthew Brown	bf310fb326	Seal where a mixin is given	2020-01-03 08:34:11 -05:00
Matthew Brown	d5d4a1826d	Add initial support for @mixin Foo	2020-01-02 23:50:19 -05:00
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
Matthew Brown	d1fbd1fa26	Add working arrow-functions implementation	2019-11-26 23:52:26 -05:00
Brown	2f02da62c1	Add note to future self	2019-11-26 14:47:07 -05:00
Brown	1add42b691	Fix switch handling	2019-11-25 11:51:34 -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