1451 Commits

Author	SHA1	Message	Date
m0003r	28f740fddb	@psalm-trace is now a specific low-level issue, because plain debug print breaks structured output (after #3080) (#3106)	2020-04-08 21:03:05 -04:00
Brown	d868710b2b	Fix handling of built arrays	2020-04-08 16:11:11 -04:00
Brown	b2e010b431	Fix #3102 - identify issues with possibly-mixed output	2020-04-08 14:07:09 -04:00
Brown	a117c48bb2	Add back nuance to error messages for conflicting type bounds	2020-04-08 12:37:46 -04:00
lhchavez	be87bb7300	Support intersection types for object-like arrays (#3064) ... This change allows expressing the intersection of multiple object-like arrays. The resulting type will contain the (merged via intersection) properties of all the object-like arrays involved in the intersection. This should allow to express the resulting type of an `array_merge()` operation, which is tricky to do in the context of a templated type.	2020-04-08 09:35:53 -04:00
Brown	2d4381eb4e	Fix #3096 - forget clauses in context after call	2020-04-08 01:03:37 -04:00
Brown	69045daea9	Convert a bunch of custom-handled functions to conditional stubbed ones	2020-04-07 16:48:29 -04:00
Brown	550ba0a4c9	Compare to real outer context, not if one ... Fixes #3091	2020-04-07 15:13:17 -04:00
Brown	61c979136f	Fix #3091 - simplify elseif negated clauses where possible	2020-04-07 13:04:24 -04:00
Brown	067104e170	Fix #3084 - keep track of upper and lower bounds of inferred template types	2020-04-07 00:13:56 -04:00
m0003r	11edb22c72	Implement @psalm-trace annotation, fixes #3079 (#3080)	2020-04-06 12:42:22 -04:00
Brown	27032e875f	Ensure Generator return types are enforced for a function using yield from	2020-04-06 09:23:13 -04:00
m0003r	c8e7e43bb0	Type::getString already respects maxStringLength config, there is no need to additional checks (#3069)	2020-04-05 14:27:02 -04:00
Matthew Brown	6cea065bca	Attempt to export file order in Linux CI	2020-04-05 00:10:50 -04:00
Matthew Brown	4c52032491	Use mixed if yield type not known	2020-04-04 23:54:41 -04:00
Matthew Brown	120595f480	Clone a little earlier	2020-04-04 23:45:38 -04:00
Brown	1bf1a6e46b	Accept partial match of template type	2020-04-04 17:14:33 -04:00
Brown	fca6585f6e	Be more lenient when inside isset	2020-04-04 11:15:13 -04:00
Brown	c0e573ab6a	Try harder to understand templated array_map callable array ... Fixes #3039	2020-04-03 16:53:56 -04:00
Brown	4f07a8fc5d	Fix false positive in trait comparison in 7.4 ... Fixes #3042	2020-04-03 15:11:37 -04:00
Brown	3c9ec90919	Fix deprecated call	2020-04-03 14:56:11 -04:00
Brown	08594cf712	Always be cloning	2020-04-03 13:56:03 -04:00
Brown	af4a7cabe9	Fix #3057 and add support for @psalm-yield annotation	2020-04-02 22:38:10 -04:00
Brown	63b35fc889	Fix #3058 - use value for generator inference	2020-04-02 20:37:09 -04:00
Brown	fa43d3a8ff	Don’t check stub files for non-unused-code checks	2020-04-01 16:31:28 -04:00
Brown	ba8e5e8209	Fix diff file load order	2020-04-01 15:57:25 -04:00
Brown	04a49102ec	Small test improvements	2020-04-01 12:56:32 -04:00
Brown	fa28d767fc	Prevent a templated type from hitting covariance checks	2020-04-01 10:53:40 -04:00
Brown	5876635d6d	Always be clonin	2020-04-01 00:45:29 -04:00
Brown	1a678068b7	Consolidate conditionals	2020-03-31 23:05:20 -04:00
Brown	fc06250678	Add number_format slash	2020-03-31 22:52:39 -04:00
Brown	8328c1d3aa	Fix build	2020-03-31 22:32:48 -04:00
Matthew Brown	66dd794101	Add return function	2020-03-31 22:26:48 -04:00
Brown	4ef7cb50a5	Make Psalm faster when there aren’t any changes whatsoever	2020-03-31 22:22:34 -04:00
Brown	da729cfbc6	Don’t check params when mutations are being collected	2020-03-31 15:49:43 -04:00
Matthew Brown	b46e147735	Add some limits on switch case assertion calculation ... Ref #2728	2020-03-30 00:20:00 -04:00
Matthew Brown	1b88316c51	Convert method from recursive to inline	2020-03-29 19:42:22 -04:00
Matthew Brown	82197f1761	Add many slashes	2020-03-29 15:56:45 -04:00
Matthew Brown	ce3532490c	Add profiling for analysing slow methods	2020-03-29 15:42:00 -04:00
Matthew Brown	194f02507d	Allow conditional types to reference class constants	2020-03-29 13:37:37 -04:00
Matthew Brown	1b2017e4f4	Add slash	2020-03-29 10:44:38 -04:00
Matthew Brown	5ad55ae693	Fix type inference on simple conditional function calls	2020-03-29 10:42:57 -04:00
Matthew Brown	0e919a0696	Allow arithmetic on simple templated types	2020-03-29 10:34:46 -04:00
Matthew Brown	788da0680e	Allow var_export userland implementation	2020-03-29 10:19:09 -04:00
Matthew Brown	7fdccc0439	Fix #3014 - change constant class access rules	2020-03-29 09:47:29 -04:00
Matthew Brown	e85d22f004	Fix #3033 - allow __invoke on unions with non-objects	2020-03-28 23:41:05 -04:00
Matthew Brown	5395183837	Use more accurate means of determining whether function did return	2020-03-28 23:37:42 -04:00
Matthew Brown	7195ea6842	Fix #3030 - don’t suggest return types can do more	2020-03-28 23:15:54 -04:00
Matthew Brown	93735712f0	Fix #3032 - always replay docblock issues when analysing files	2020-03-28 19:54:55 -04:00
Matthew Brown	86a89b2d27	Fix #3034 - expand out while expressions for more accurate variable initialisation	2020-03-28 18:22:08 -04:00