661 Commits

Author	SHA1	Message	Date
Brown	2abe76d3c2	Fix assertion generation	2020-02-10 17:27:46 -05:00
Matthew Brown	47ffb59241	Fix #2764 - iterate through all possible template types where necessary	2020-02-09 18:11:50 -05:00
Brown	23f8967fb5	Fix conditional class-string template replacement	2020-02-06 19:40:18 -05:00
Brown	2a0dd48dcd	Fix bad type	2020-02-06 17:31:17 -05:00
Brown	d5f71bf529	Localise template checks to class being tested	2020-02-06 16:38:45 -05:00
Brown	6116b457ed	Port over more fixes from template match refactor	2020-02-06 15:07:57 -05:00
Brown	0fd0d01d2b	Improve class-string templating	2020-02-06 14:35:36 -05:00
Matthew Brown	8db4bc7691	Improve formatting of intersection error messages ... Also reduce false positives on intersections of templates	2020-02-02 12:25:24 -05:00
Matthew Brown	292f6e797f	Only make directly-assertable things possibly-undefined ... Ref #2724	2020-02-01 10:58:13 -05:00
Brown	3b6f53a356	Revert "Fix #2724 - make sure behaviour is not dependent on array type" ... This reverts commit 1df03b0ff2.	2020-01-31 17:25:15 -05:00
Brown	1df03b0ff2	Fix #2724 - make sure behaviour is not dependent on array type	2020-01-31 16:46:05 -05:00
Brown	37765098e9	Fix #2725 - allow empty checks on objects that implement countable	2020-01-31 12:55:33 -05:00
Matthew Brown	5eb2ebc508	Add more type-system protections for bad array args	2020-01-29 23:41:17 -05:00
Pavel Batečko	ecf85aef12	Add generic definition of DOMNamedNodeMap (#2703) ... * Fix #2638 - propagate phantom classes to recursive calls to Scanner::queueClassLikeForScanning() * Add generic definition of DOMNamedNodeMap	2020-01-29 08:39:07 -05:00
Matthew Brown	dec274a1fe	Fix list scanning	2020-01-27 09:07:22 -05:00
Matthew Brown	db7b537bd1	Fix missing class	2020-01-17 13:19:57 -05:00
Matthew Brown	8ccd4860e3	fclose should treat resource as passed-by-reference	2020-01-17 13:12:00 -05:00
Matthew Brown	7f093ca8ed	Fix #2626 - allow assertions on resource types ... Also fixes #2266	2020-01-17 11:55:16 -05:00
Matthew Brown	1697115861	Only set from docblock if not mixed	2020-01-17 10:34:13 -05:00
Matthew Brown	a840743015	Fix #2625 - set template as type from docblock	2020-01-17 10:27:00 -05:00
Matthew Brown	2c48d42904	Allow destructuring of callable array ... Fixes #2653	2020-01-17 10:02:58 -05:00
Matthew Brown	389af1bfc7	Fix #2618 setting list param from docblock	2020-01-14 22:46:19 -05:00
Matthew Brown	c3edbdbc19	Allow checking $_SESSION for null without altering type	2020-01-14 21:51:04 -05:00
Brown	7482b9e56f	Emit all stubs discovered by Psalm during analysis ... Fixes #827	2020-01-08 17:23:40 -05:00
Matthew Brown	cc9e0fab67	Prevent string being used in non-empty-string location	2020-01-06 20:57:57 -05:00
Brown	8e786a17dd	Deal with a reconciled var more accurately ... Ref #2426	2020-01-06 11:09:07 -05:00
Matthew Brown	137650fe6f	Fix #2556 - don’t remap params if they’ve already been remapped once	2020-01-06 09:18:16 -05:00
Matthew Brown	9fa2db1b6c	Move Union::getTypes to Union::getAtomicTypes	2020-01-04 12:20:26 -05:00
Brown	bfbb9b2b34	Un-nest some logic	2020-01-02 16:59:19 -05:00
Matthew Brown	d175abe0f0	Improve templating for intersections	2020-01-01 13:31:41 -05:00
Matthew Brown	4630d19d45	Fix psalm running	2020-01-01 12:49:12 -05:00
Matthew Brown	16b8edd583	Fix #2409 - use more robust assertion parsing	2019-12-31 09:10:14 -05:00
Matthew Brown	5bd9b988fb	Fix #2494 - don’t use extended name for anonymous classes	2019-12-31 08:46:52 -05:00
Matthew Brown	79be178146	Add associative-array as an alias of array	2019-12-30 17:01:10 -05:00
Matthew Brown	c79ba0b09e	Include non-empty-string type in more places	2019-12-30 07:25:36 -05:00
Matthew Brown	023c4bcef0	Fix #2532 - fix templating inside class method when calling templated method	2019-12-30 07:25:36 -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	982fe627e0	Fix #2515 - allow chained assertions on @psalm-mutation-free methods	2019-12-27 16:44:55 -05:00
Matthew Brown	068afa09d3	Add very basic implementation for class-string-map ... Fixes #1969	2019-12-27 12:49:28 -05:00
Matthew Brown	b78f273ccf	Improve handling of template params a smidge	2019-12-27 11:49:44 -05:00
Matthew Brown	4c8730c5a3	Improve handling of unset array, ensuring that keys don’t persevere	2019-12-22 01:42:39 +00:00
Matthew Brown	af28d650f3	Fix #2408 - existing offsets checked with isset should be valid	2019-12-18 23:48:25 +00:00
Matthew Brown	bdbc758ddc	Fix #2475 - allow iterable covariance	2019-12-16 07:16:35 -05:00
Brown	2469f04715	Improve reconciliation of arrays with constant offsets	2019-12-13 17:17:14 -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
Brown	05783eb616	Find issues with impossible property values	2019-12-11 17:08:02 -05:00
Brown	612f74f481	Clean up static property reconciliation	2019-12-11 15:05:09 -05:00
Brown	6b56a0239d	Improve handling of assertions on static properties	2019-12-11 14:06:09 -05:00
Brown	9d22f56560	Fix #2443 - templates are not valid PHPDoc	2019-12-10 14:03:51 -05:00