251 Commits

Author	SHA1	Message	Date
Brown	a5672db9f9	Avoid issue where caches haven’t caught up	2020-03-09 16:59:21 -04:00
Brown	1399b139fc	Fix #2951 - use reflection to identify trait when there’s more than one per file	2020-03-09 16:41:46 -04:00
Matthew Brown	17afeae851	Fix support for bitwise or in constant expressions	2020-03-09 00:54:26 -04:00
Matthew Brown	8a1067e4e6	Add more dobclocks types for scanning ... Fixes #2907	2020-03-05 00:58:51 -05:00
Matthew Brown	c0c878cc9d	Don’t cache all traits	2020-03-02 22:27:54 -05:00
Matthew Brown	ff9d774304	Mark storage as having docblock issues in more places ... Ref #2891	2020-02-29 09:57:28 -05:00
Matthew Brown	db17c85dd6	Fix #2787 - make accessing undefined objectlike key an error	2020-02-22 00:29:59 -05:00
Brown	0e23fab5d2	Detect bugs similar to that which caused #2832	2020-02-18 12:53:54 -05:00
Matthew Brown	a33eac440b	Add stdClass reference to file storage for (object) cast ... Fixes #2826	2020-02-17 11:33:09 -05:00
Matthew Brown	3feccc1f98	Fix tests	2020-02-14 22:24:39 -05:00
Matthew Brown	653353709a	Use MethodIdentifier object instead of string	2020-02-14 20:54:26 -05:00
Brown	e934343d7f	Fix #2765 - properly fix namespaced @throws self	2020-02-13 13:01:53 -05:00
Brown	dcc855de95	Fix #2739 - specify wildcards in constants	2020-02-07 10:54:57 -05:00
Brown	e567f8c728	Fix #2752 - string casts can be implicit method calls, don’t remove automatically	2020-02-06 21:05:16 -05:00
Brown	50fc50fab0	Fix #2751 - allow static methods to inherit class templates	2020-02-05 11:19:40 -05:00
Matthew Brown	93fc1b1cc7	Fix #2729 - allow mutation of otherwise-readonly properties	2020-02-02 15:35:12 -05:00
Matthew Brown	d0b87b6cb0	Fix #2723 - use magic method return type where necessary	2020-02-01 18:21:32 -05:00
Matthew Brown	1dc1ebe23a	Remove unused variable	2020-01-27 23:19:03 -05:00
Matthew Brown	ff01f41b44	Allow strings in assert annotation	2020-01-27 23:15:50 -05:00
Brown	15808458cc	Better understand nesting loops and switches ... Fixes #2700	2020-01-27 12:17:12 -05:00
Matthew Brown	b582c49f51	Fix #2645 - add workarounds for some edgecases	2020-01-17 10:25:05 -05:00
Matthew Brown	adf230e873	Fix #2636 - allow non-empty-list in assert annotation	2020-01-17 09:06:34 -05:00
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