1236 Commits

Author	SHA1	Message	Date
Matthew Brown	cf977c3542	Don’t convert constant descriptions to lowercase	2020-02-17 18:19:33 -05:00
Matthew Brown	8dd49b1cbf	Fix lowercase-string to constant string coercion	2020-02-17 17:58:36 -05:00
Matthew Brown	99a97f4085	Update issue levels	2020-02-17 16:32:16 -05:00
Matthew Brown	196a0a5c4e	Replace issue data array with object	2020-02-16 18:24:40 -05:00
Matthew Brown	d3bfb96431	Fix #2808 - improve yield type discernment	2020-02-15 10:47:07 -05:00
Matthew Brown	3feccc1f98	Fix tests	2020-02-14 22:24:39 -05:00
Matthew Brown	653353709a	Use MethodIdentifier object instead of string	2020-02-14 20:54:26 -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
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	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
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
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
Brown	d8f5ad190b	Improve invalidation of inherited properties	2020-02-10 17:03:51 -05:00
Brown	89a0b101e4	Fix #2784 - no crash when get_class arg is mixed	2020-02-10 14:44:33 -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
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	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	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
Matthew Brown	93fc1b1cc7	Fix #2729 - allow mutation of otherwise-readonly properties	2020-02-02 15:35:12 -05:00
Matthew Brown	8d7fb2b415	Add config flag to support properties without a magic getter	2020-02-02 14:23:38 -05:00
Matthew Brown	43c7b00cd0	Fix #2734 - allow is_a to operate on templated class-strings	2020-02-02 12:26:28 -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	f0fc9cce5f	Fix missing param doc	2020-02-01 18:24:09 -05:00
Matthew Brown	d0b87b6cb0	Fix #2723 - use magic method return type where necessary	2020-02-01 18:21:32 -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	66227f9b7f	Fix #2727 - callable arg checks should obey ignore_falsable_return	2020-01-31 13:58:56 -05:00
Brown	8f95c5679e	Fix #2720 - allow throwing self	2020-01-30 18:00:31 -05:00
Brown	b46f219c51	Do better inference for array_map return type	2020-01-30 17:43:13 -05:00
Brown	9405314222	Always Be Cloning	2020-01-30 17:22:40 -05:00
Brown	216d9256a1	Allow templated array_map callable inference ... Fixes #2719	2020-01-30 17:13:46 -05:00