1934 Commits

Author	SHA1	Message	Date
Matthew Brown	fb5a0c39cb	Fix #2819 - improve negated assertions on templates	2020-02-14 11:18:47 -05:00
Matthew Brown	422bd25f04	Maybe fix indentation	2020-02-13 19:33:47 -05:00
Matthew Brown	3efe271819	Remove blank line	2020-02-13 18:36:37 -05:00
Matthew Brown	95e1bc0c48	Fix line breaks	2020-02-13 18:32:40 -05:00
Matthew Brown	477d38e6eb	Suppress issue	2020-02-13 18:20:24 -05:00
Brown	b87161785d	Be even more permissive	2020-02-13 17:58:15 -05:00
Brown	210d65d0d6	Add a few lowercase-string types	2020-02-13 17:52:23 -05:00
Brown	8989737e51	Fix #2775 - use lowercase strings in a couple more places	2020-02-13 17:44:16 -05:00
Brown	bc0ccbda99	Add better inference for lower-cased methods	2020-02-13 17:30:00 -05:00
Brown	1c42875179	Support lowercase-string and warn about unnecessary calls to strtolower	2020-02-13 16:38:58 -05:00
Brown	e934343d7f	Fix #2765 - properly fix namespaced @throws self	2020-02-13 13:01:53 -05:00
Matthew Brown	305372e0e1	Add docblock return type as --diff dependency	2020-02-13 10:39:04 -05:00
Philip Hofstetter	395cf587d3	add plugin hook to be called after every function call ... compared to AfterFunctionCallAnalysisInterface which gets only called after a call to a function declared within the project, a plugin implementing AfterEveryFunctionCallAnalysisInterface will get called for every function call, including calls of PHP builtins. On the other hand, this interface doesn't allow modification of the code nor tweaking the return type, but it's still useful for accounting purposes and for depreacting calls to PHP builtins this fixes #2804	2020-02-13 09:10:24 -05:00
Matthew Brown	7d88100ad3	Docblock-provided type is not inferred	2020-02-12 11:34:54 -05:00
Claas Augner	ba94c8cea8	Fix #2799 - DOMNode::$parentNode is nullable	2020-02-12 09:20:01 -05:00
Matthew Brown	f64cdd2ca2	Fix #2798 - strip out trailing commas in object-like @return types	2020-02-12 09:18:43 -05:00
Matthew Brown	07a53f6b81	Fix #2789 - Numeric should not be a reserved class name	2020-02-11 22:34:34 -05:00
Brown	f141f7c526	Improve --diff checks by including trait-using classes in dependents	2020-02-11 16:39:33 -05:00
Matthew Brown	7639e179c4	Fix return type for Ds\Vector::map	2020-02-10 21:09:07 -05:00
Brown	d8f5ad190b	Improve invalidation of inherited properties	2020-02-10 17:03:51 -05:00
Brown	41af71556d	Fix #2785 - parse wildcards in variables better	2020-02-10 15:30:06 -05:00
Brown	89a0b101e4	Fix #2784 - no crash when get_class arg is mixed	2020-02-10 14:44:33 -05:00
Matthew Brown	074780547d	Fix #2780 - filter int on more values	2020-02-09 23:58:37 -05:00
Matthew Brown	47ffb59241	Fix #2764 - iterate through all possible template types where necessary	2020-02-09 18:11:50 -05:00
Matthew Brown	d0ac709b70	Use more robust, if slower, mechanism that’s intersection-safe	2020-02-09 15:34:50 -05:00
Matthew Brown	14f8fb8ecd	Fix two redundant asserts	2020-02-09 11:45:43 -05:00
Matthew Brown	3559fdd6b3	Fix #2742 - prevent paradoxes in assert calls	2020-02-09 11:42:41 -05:00
Matthew Brown	4de6f5c4ec	Fix #2442 - using asserting after a MixedAssignment removes that error	2020-02-08 23:01:45 -05:00
Matthew Brown	5f4d797fe1	Fix #2772 - add support for multiple array_map function param inference	2020-02-08 12:17:57 -05:00
Matthew Brown	b439a573ce	Empty is also the bottom type	2020-02-08 11:40:22 -05:00
Matthew Brown	b26deb434d	Fix #2771 - replace empty params with generic equivalents ... Ref #2755	2020-02-08 11:17:24 -05:00
Bruce Weirdan	d99f23eb45	Fix #2761	2020-02-07 12:51:40 -05:00
Brown	dcc855de95	Fix #2739 - specify wildcards in constants	2020-02-07 10:54:57 -05:00
Matthew Brown	966336a475	Improve byref array handling	2020-02-06 23:52:27 -05:00
Matthew Brown	da541dbb51	Remove some unnecessary errors	2020-02-06 23:10:18 -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	d5f71bf529	Localise template checks to class being tested	2020-02-06 16:38:45 -05:00
Brown	54efbbe831	Fix bad assertion	2020-02-06 16:32:26 -05:00
Brown	9af12932b5	Add slash	2020-02-06 15:09:34 -05:00
Brown	6116b457ed	Port over more fixes from template match refactor	2020-02-06 15:07:57 -05:00
Brown	638e90356a	Add slash	2020-02-06 11:58:39 -05:00
Brown	a16e03d992	Fix #2756 - narrow assertion templated type	2020-02-06 11:49:15 -05:00
Brown	ffd04132ce	Fix #2754 - use ext-ds stubs from PHPStan	2020-02-06 10:38:10 -05:00
Benjamin Morel	b486bd4c78	PDOStatement::fetchColumn() can return any scalar	2020-02-05 11:46:01 -05:00
Brown	50fc50fab0	Fix #2751 - allow static methods to inherit class templates	2020-02-05 11:19:40 -05:00
Matthew Brown	bbdb1254ad	Add line break	2020-02-05 08:51:11 -05:00
Lars Moelleken	759cfe4555	add more impure function calls	2020-02-05 08:51:11 -05:00
Brown	8fb810350a	Don’t cache no-effects hashes when checking for initialisations	2020-02-04 17:53:26 -05:00
Brown	4c83ca75b3	Fix #2738 - clear out property issues when modifying constructors	2020-02-03 16:43:25 -05:00
Matthew Brown	b3f6b56f9c	Add support for @psalm-readonly-allow-private-mutation	2020-02-02 15:56:08 -05:00