3514 Commits

Author	SHA1	Message	Date
Brown	f8e7b649c7	Improve array_merge return type	2021-01-29 11:39:37 +01:00
Brown	95cc274192	Support more array intersections in type parsing	2021-01-29 11:39:37 +01:00
Brown	376a825161	Fix regression – detect unused params with defaults again	2021-01-29 11:39:37 +01:00
Brown	5e6b158dd9	Do no writing when saving parser cache in tests	2021-01-29 11:39:36 +01:00
Brown	270f9de20a	Fix a few more things	2021-01-29 11:39:36 +01:00
Brown	e9fb3dcad2	Fix various things	2021-01-29 11:39:36 +01:00
Brown	d53a9313a5	Fix stub test	2021-01-29 11:39:36 +01:00
Brown	0b66e8897c	Add check for strpos dictionaries ... Ref #4070	2021-01-29 11:39:36 +01:00
Brown	db55f608be	Fix #4122 - detect yield in function arguments	2021-01-29 11:39:36 +01:00
Brown	168972e91a	Fix #4178 - always detect missing property types	2021-01-29 11:39:36 +01:00
Bruce Weirdan	b27a233cdd	Support multiple issue types in @psalm-suppress (#4179) ... * Accept multiple issue names in `@psalm-suppress` Fixes vimeo/psalm#1575 * Accept multiple issue types on statement docblocks as well * Proper highlighting of individual issues in compound suppressions	2021-01-29 11:39:36 +01:00
Bruce Weirdan	4319132057	Added @psalm-stub-override for classlikes and methods (#4177) ... Fixes vimeo/psalm#1252	2021-01-29 11:39:34 +01:00
orklah	865b36cd3d	replace return; by return null; in every non-void method, add return null; when mising, add return types, remove redundant phpdoc (#4176)	2021-01-29 11:38:58 +01:00
Brown	29481ed1bd	Fix #4127 - improve error message for unused closure var	2021-01-29 11:38:58 +01:00
ygottschalk	c361f86c68	added array-size max constraint to greater check (#4175) ... added a few unit tests	2021-01-29 11:38:58 +01:00
Brown	5d04368d98	Fix #4169 - add appropriate bounds check	2021-01-29 11:38:57 +01:00
orklah	db45ff1ba4	More return types (#4173) ... * add native return types * redundant phpdoc	2021-01-29 11:38:57 +01:00
Brown	0116284d16	Improve unique issue solution	2021-01-29 11:38:57 +01:00
Brown	568cbfb1be	Fix tests	2021-01-29 11:38:56 +01:00
Brown	ca0608d92a	Fix #4070 - prevent literal strpos argument	2021-01-29 11:38:56 +01:00
Brown	c291b93bbe	Fix #4167 - allow many issues for the same position	2021-01-29 11:38:56 +01:00
Brown	b84e88f342	Fix #4154 - treat literal numeric strings as numeric	2021-01-29 11:38:56 +01:00
Brown	b148221e18	Always detect return type mismatches from docblock parents	2021-01-29 11:38:56 +01:00
Brown	539bc13cb3	Fix some signatures	2021-01-29 11:38:55 +01:00
Brown	cbb97c42a8	Fix #4146 - allow null checks on Iterator::current output	2021-01-29 11:38:55 +01:00
Brown	e7730c2b34	Fix #4148 - add Closure to scanned classes when arrow function is seen	2021-01-29 11:38:55 +01:00
orklah	1348e61afb	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	2021-01-29 11:38:54 +01:00
Matthew Brown	274d19c649	Prevent variables named "haystack" from receiving literal strings ... cc @staabm	2021-01-29 11:38:54 +01:00
Matthew Brown	4dc045f30d	Support analysing preg_match_all args in reverse to infer matches type	2021-01-29 11:38:54 +01:00
Brown	f7474faff2	Hard code possible bit-shift values	2021-01-29 11:38:54 +01:00
Brown	4583467325	Fix #4128 - improve understanding of preg_match_all	2021-01-29 11:38:53 +01:00
Brown	be3d130965	Fix #4132 - ignore purity of $this when checking for initialisation	2021-01-29 11:38:53 +01:00
orklah	61512da144	add native return types (#4116) ... * add native return types * remove redundant phpdoc	2021-01-29 11:38:53 +01:00
Brown	f9d6b9d7c1	Improve tests a little	2021-01-29 11:38:53 +01:00
Brown	06a9ae9c6c	Clean up immutable fix	2021-01-29 11:38:52 +01:00
Brown	4d0b91fcd2	Allow passing mutable object into immutable class to store reference	2021-01-29 11:38:52 +01:00
Brown	e3d7d0315a	Fix #4109 - detect duplicate match condition	2021-01-29 11:38:52 +01:00
Brown	58cda0a003	Fix #4112 - allow slashes in docblock tag names	2021-01-29 11:38:52 +01:00
orklah	becac547fb	Short list syntax (#4102) ... * Short list syntax * revert unrelated CS	2021-01-29 11:38:52 +01:00
Brown	b94de0c8b8	Add more accomodations for TPositiveInt	2021-01-29 11:38:51 +01:00
Brown	73770f4268	Fix erroneous Closure::__invoke return type	2021-01-29 11:38:51 +01:00
Brown	472c2839ad	Fix crash with @var over echo	2021-01-29 11:38:51 +01:00
Brown	8611f99e09	Fix exhaustiveness checks for const value	2021-01-29 11:38:50 +01:00
Brown	d7cc68cb09	Fix issues	2021-01-29 11:38:50 +01:00
Brown	a0a7f8a98b	Catch unmatched matches	2021-01-29 11:38:50 +01:00
Brown	b62719c9c8	Fix some magic method calls when a return type provider exists	2021-01-29 11:38:50 +01:00
Brown	eae55eb584	Fix #4093 - prevent redundant condition in presence of positive-int	2021-01-29 11:38:50 +01:00
Brown	9b726904f9	Ignore redundant conditions inside match potentially in perpetuity?	2021-01-29 11:38:49 +01:00
Brown	b785efb210	Support match expressions and throw expressions	2021-01-29 11:38:49 +01:00
Brown	36b1a21fcf	Support mixed type natively	2021-01-29 11:38:49 +01:00