1133 Commits

Author	SHA1	Message	Date
Brown	aaede393d4	Fix #4070 - prevent literal strpos argument	2020-09-10 18:28:34 -04:00
Brown	fe4af8ff1a	Minor fixes	2020-09-07 17:22:43 -04:00
Brown	8737abf3b8	Fix real projects bug	2020-09-07 15:14:14 -04:00
Brown	88e0811cdd	Fix #4136 - allow union type properly	2020-09-07 14:08:56 -04:00
Brown	d174fc6f3f	Improve fix	2020-09-07 13:19:37 -04:00
Brown	afce416bfb	Fix #4136 - allow inference of callabe type param in union of callables	2020-09-07 12:56:47 -04:00
Brown	f78fbbe4c9	Fix #4146 - allow null checks on Iterator::current output	2020-09-07 11:40:36 -04:00
orklah	8c7423505a	add native param types (#4137) ... * add native param types * redundant phpdoc * add more param types and adds "?" to nullable types * remove redundant phpdoc * add more param types and remove redundant phpdoc * add more param types and remove redundant phpdoc	2020-09-06 19:36:47 -04:00
Matthew Brown	422271b2cf	Prevent variables named "haystack" from receiving literal strings ... cc @staabm	2020-09-05 00:35:48 -04:00
Matthew Brown	3605eeee04	Support analysing preg_match_all args in reverse to infer matches type	2020-09-04 20:33:02 -04:00
Brown	4d82d3ddad	Fix #4128 - improve understanding of preg_match_all	2020-09-04 18:10:14 -04:00
Brown	22fe7458d8	Break up large method	2020-09-04 17:45:22 -04:00
Brown	f4c2edf40b	Fix #4132 - ignore purity of $this when checking for initialisation	2020-09-04 16:46:20 -04:00
orklah	f66d57f19d	add native return types (#4116) ... * add native return types * remove redundant phpdoc	2020-09-04 16:26:33 -04:00
Brown	68ebef2a2e	Clean up immutable fix	2020-09-03 15:32:14 -04:00
Brown	8505ca2a23	Allow passing mutable object into immutable class to store reference	2020-09-03 15:28:09 -04:00
Brown	bd27e8b17b	Fix #4109 - detect duplicate match condition	2020-09-02 20:08:09 -04:00
orklah	73f6fcde48	Short list syntax (#4102) ... * Short list syntax * revert unrelated CS	2020-09-02 00:17:41 -04:00
Brown	f105f6aca9	Fix Psalm errors	2020-09-01 13:21:24 -04:00
Brown	b5279cd7d4	Fix erroneous Closure::__invoke return type	2020-09-01 12:33:25 -04:00
Bruce Weirdan	ffb316a9e6	Converted MissingPropertyType to property issue (#4099) ... Fixes vimeo/psalm#2200	2020-09-01 09:21:03 -04:00
Brown	4f578b42b8	Fix exhaustiveness checks for const value	2020-08-31 23:23:24 -04:00
Brown	ab063e80d7	Keep going	2020-08-31 23:11:16 -04:00
Brown	3cdb13f7ab	Fix issues	2020-08-31 23:03:36 -04:00
Brown	940459787a	Catch unmatched matches	2020-08-31 22:59:47 -04:00
Brown	9935f647ab	Fix some magic method calls when a return type provider exists	2020-08-31 18:56:45 -04:00
Brown	940b673a36	Fix fns	2020-08-30 18:29:28 -04:00
Brown	2cbe89d55a	Fix Psalm errors	2020-08-30 16:30:43 -04:00
Brown	5c043b0d41	Ignore redundant conditions inside match potentially in perpetuity?	2020-08-30 16:23:53 -04:00
Brown	54a781ad28	Support match expressions and throw expressions	2020-08-30 16:08:22 -04:00
Brown	92239add4d	Add some backwards-incompatible changes for 4.x	2020-08-30 11:44:14 -04:00
Brown	c13b0efd49	Improve understanding of negated count queries	2020-08-30 11:32:01 -04:00
Brown	3ca4a576e7	Fix treatment of closure params in array_map	2020-08-29 11:10:09 -04:00
Brown	df0d426f61	Fix #4081 - better inference of positive ints	2020-08-28 16:38:50 -04:00
Brown	98ce590e9d	Remove some redundant calls	2020-08-28 12:48:33 -04:00
Brown	efe143a396	Fix #4077 - always track closure purity	2020-08-28 12:42:55 -04:00
Brown	5f5ce6eb32	Fix typo	2020-08-26 18:16:12 -04:00
Brown	e64d45b644	Fix #4061 - allow indirect null comparison check	2020-08-26 17:58:01 -04:00
Saif Eddin G	5a20092fbd	add pure-callable type (#4066)	2020-08-26 16:51:22 -04:00
Brown	988e17f11d	Make clause fully immutable	2020-08-26 15:35:29 -04:00
Brown	b2b329d1a9	Prevent unset on immutable properties	2020-08-26 12:18:34 -04:00
Brown	8ad1c2eeb1	Use immutable data structures for clause calculations	2020-08-26 10:41:47 -04:00
Brown	346d475f55	Create empty params by default for SplObjectStorage ... Fixes #4055	2020-08-25 11:52:21 -04:00
Brown	4e10a0ed6f	Fix #4036 - add immutable annotations automatically too	2020-08-24 19:29:00 -04:00
Brown	6103cf0f51	Fix ImpureVariable test	2020-08-23 22:07:02 -04:00
Brown	140d37c7ef	Prevent isset on uknown property in pure function	2020-08-23 18:50:17 -04:00
Brown	10f7031080	Prevent use of $this in pure functions	2020-08-23 18:37:46 -04:00
Matthew Brown	ef0486ce35	Add some pure annotations	2020-08-23 13:52:31 -04:00
Matthew Brown	89dd5ee563	Nest new impure checks	2020-08-23 13:39:08 -04:00
Matthew Brown	9418be79cc	Restrict pure annotation addition a little more	2020-08-23 13:34:32 -04:00