3622 Commits

Author	SHA1	Message	Date
Matt Brown	951c3715f7	Fix tests	2021-01-29 11:44:33 +01:00
Matt Brown	35fd64bf74	Fix test type	2021-01-29 11:44:33 +01:00
Matt Brown	106747487b	Fix #4429 - any class with a __toString method in PHP8 assumed to implement Stringable	2021-01-29 11:44:33 +01:00
Matt Brown	7f975045f4	Fix #4422 - be aware of nested template params	2021-01-29 11:44:33 +01:00
Matt Brown	e440baf671	Improve algebra handling a little better	2021-01-29 11:44:33 +01:00
Matt Brown	870d07ba51	Fix #4418 - improve try analysis for mixed, too	2021-01-29 11:44:32 +01:00
Matt Brown	c16d779bca	Fix #4397 - allow offsetGet on inside isset	2021-01-29 11:44:32 +01:00
Matt Brown	e8b3f55013	Track final-ness of class when evaluating trait returns	2021-01-29 11:44:31 +01:00
Matt Brown	5aee8e77d5	Fix #4414 - allow multiple @psalm-assert-if-true on same var	2021-01-29 11:44:31 +01:00
Matt Brown	eef4ea018b	Empty checks variables are really falsy checks	2021-01-29 11:44:31 +01:00
Matt Brown	a57d62b71b	Add logic to weed out unnecessary clauses	2021-01-29 11:44:30 +01:00
Matt Brown	3ff2116c17	Add basic support for PHP attributes ... Ref #4367 - supports creation and argument checks	2021-01-29 11:44:30 +01:00
Matt Brown	e90b595b92	Break apart ReflectorVisitor	2021-01-29 11:44:29 +01:00
Matt Brown	67859ed19b	Invalidate signature types when use changes	2021-01-29 11:41:13 +01:00
Matt Brown	3731255f6f	Fix #4386 - fix issues with property promotion	2021-01-29 11:41:13 +01:00
feek	d1b7cf6860	feature: ensure universal object crate class exists (#4375)	2021-01-29 11:41:13 +01:00
Matt Brown	7df404bfb5	Fix #4374 - prevent paradox and allow Psalm to understand more assignments in conditionals	2021-01-29 11:41:13 +01:00
Matt Brown	26352d0e39	Fix #3625 - getIterator call is used inside loop	2021-01-29 11:41:12 +01:00
Matt Brown	d7a0b718ec	Fix #4372 - count implicitly-used short-closure vars as used	2021-01-29 11:41:12 +01:00
Matt Brown	b3e423fd03	Fix #4368 - improve handling of try with finally	2021-01-29 11:41:12 +01:00
Niclas van Eyk	5f019cef53	Initial proposal for psalm-require-{extends, implements} (#4361) ... * initial implementation of psalm-require-extends * Added @psalm-require-implements * Added shortcode for ExtensionRequirementViolation * Docs & cofig entries for @pasalm-require-{implements,extends} * Added requirement violations to issues.md	2021-01-29 11:41:10 +01:00
Matt Brown	dab7da02bd	Fix #4366 - possibly-undefined vars in finally block should not error	2021-01-29 11:39:59 +01:00
Matt Brown	481cf84b94	Don’t overwrite true flag	2021-01-29 11:39:58 +01:00
Matt Brown	74d6f166c1	Be more explicit about negation	2021-01-29 11:39:58 +01:00
Matt Brown	8043683f26	Ignore just-coerced vars	2021-01-29 11:39:58 +01:00
Matt Brown	596811cdc1	Suppress errors from fake statements	2021-01-29 11:39:58 +01:00
Matt Brown	c5c177a80a	Improve binary op || analysis for chain	2021-01-29 11:39:57 +01:00
orklah	62861e79d8	improve phpdoc (#4352)	2021-01-29 11:39:57 +01:00
Matt Brown	596e71d6aa	Unskip now-working tests	2021-01-29 11:39:57 +01:00
Matt Brown	2d8d1b9bf7	Fix #4354 - allow assignments on RHS of || in if conditional	2021-01-29 11:39:57 +01:00
Matt Brown	da79106a6a	Fix #4349 - improve types for suggested unions	2021-01-29 11:39:57 +01:00
Matt Brown	4f60d2dd4d	Fix #4347 - fix combinatorial expansion when negating if conditions	2021-01-29 11:39:56 +01:00
Matt Brown	460c4a2c3e	Fix #4333 - don’t get tripped up on try with no catches	2021-01-29 11:39:56 +01:00
Matt Brown	c43c29880c	Fix #4336 - don’t merge sources twice for null coalesce	2021-01-29 11:39:56 +01:00
Matt Brown	05f2d01cb6	Fix #4326 - Prevent later remapping of properties	2021-01-29 11:39:55 +01:00
Matt Brown	1915f34959	Fix #4326 - prevent more mapping than necessary	2021-01-29 11:39:55 +01:00
Matt Brown	84126fbbca	Fix #4327 - make sure loop always returns	2021-01-29 11:39:55 +01:00
Marcus Bointon	fb505df807	Fix preg_match_all stub (#4325) ... * preg_match_all can return false * Test for preg_match_all returning false * Fix test * Add @psalm-ignore-falsable-return	2021-01-29 11:39:55 +01:00
Matt Brown	8d1de7757d	Use more accurate arguments count	2021-01-29 11:39:55 +01:00
Matt Brown	c00bc4ee51	Add better support for get_debug_type	2021-01-29 11:39:54 +01:00
Matt Brown	0f8b017384	Prevent features pre-php-8	2021-01-29 11:39:54 +01:00
Matt Brown	4acaf40f26	Avoid crash when callable type is missing	2021-01-29 11:39:54 +01:00
Pol Dellaiera	2b437ad672	Add more standard iterators (#4320) ... * Add CachingIterator, LimitIterator, InfiniteIterator, CallbackFilterIterator, NoRewindIterator. Signed-off-by: Pol Dellaiera <pol.dellaiera@protonmail.com> * Add related Iterator tests. Signed-off-by: Pol Dellaiera <pol.dellaiera@protonmail.com>	2021-01-29 11:39:54 +01:00
Matt Brown	399a7bfd11	Fix #4315 - prevent crash when setting unknown property in finally	2021-01-29 11:39:54 +01:00
Matt Brown	278a306681	Do arithmetic for preg_split arguments	2021-01-29 11:39:53 +01:00
Matt Brown	78380c591b	Fix #4274 - don’t ignore mixed union in array_shift operation	2021-01-29 11:39:53 +01:00
orklah	6e3546d900	return types (#4311) ... * return types * remove willReturn for void methods	2021-01-29 11:39:53 +01:00
Matt Brown	bb42c12d7b	Fix #4310 - prevent literal class check on union	2021-01-29 11:39:53 +01:00
Matt Brown	eb89e0142f	Fix #4309 - improve reuse of callmap callable inference	2021-01-29 11:39:52 +01:00
Matt Brown	68526c39ad	Add better return type for preg_split	2021-01-29 11:39:52 +01:00