1461 Commits

Author	SHA1	Message	Date
Brown	db7447abd7	Make array coercion-to--mixed rules a little more lenient	2020-04-10 16:21:48 -04:00
Brown	672baea6fc	Fix #3116 - allow class to be compared to a templated class-string	2020-04-10 00:26:11 -04:00
Brown	556d5625b5	Prevent Throwable being intersected with itself	2020-04-10 00:10:31 -04:00
Brown	fea1310d67	Fix #3092 - round always returns a float	2020-04-09 23:31:26 -04:00
m0003r	1749c19a29	Fix $assertion_var_id calculation in method calls (#3115)	2020-04-09 23:03:53 -04:00
Brown	13d9354cde	Fix #3107 - prevent bad @method with dash	2020-04-09 12:16:58 -04:00
Brown	3a4dd70403	Prevent MixedMethodCall from generated array offsetGet calls	2020-04-09 11:45:15 -04:00
Brown	bd92ec6cd3	Detect nested issues	2020-04-09 10:42:54 -04:00
Brown	bd2104c5ba	Merge with mixed in nested arrays	2020-04-09 09:27:21 -04:00
m0003r	4d1be3f0c4	Allow plain assertions (@psalm-assert) about $this (fixes #3105) (#3108) ... * Allow plain assertions (@psalm-assert) about $this (fixes #3105) * Fix multiple assertion combining * Fix multiple assertion combining for $this again * Add test for multiple assertion combining for $this again	2020-04-09 08:15:07 -04:00
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