2779 Commits

Author	SHA1	Message	Date
Matthew Brown	07a53f6b81	Fix #2789 - Numeric should not be a reserved class name	2020-02-11 22:34:34 -05:00
Bruce Weirdan	a23dd9f97d	Fixed vimeo/psalm#2792	2020-02-11 22:21:54 -05:00
Brown	2abe76d3c2	Fix assertion generation	2020-02-10 17:27:46 -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	47ffb59241	Fix #2764 - iterate through all possible template types where necessary	2020-02-09 18:11:50 -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
Brown	cecc5ed798	Move constant tests	2020-02-07 10:47:42 -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	23f8967fb5	Fix conditional class-string template replacement	2020-02-06 19:40:18 -05:00
Brown	7bad2042f8	Skip failing test	2020-02-06 18:45:03 -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	0fd0d01d2b	Improve class-string templating	2020-02-06 14:35:36 -05:00
Brown	a16e03d992	Fix #2756 - narrow assertion templated type	2020-02-06 11:49:15 -05:00
Brown	50fc50fab0	Fix #2751 - allow static methods to inherit class templates	2020-02-05 11:19:40 -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	ba8eb264d4	Fix test	2020-02-02 15:37:37 -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	b67f661604	Fix #2735 - interpret template check in context of class-string generation	2020-02-02 10:51:18 -05:00
Matthew Brown	d0b87b6cb0	Fix #2723 - use magic method return type where necessary	2020-02-01 18:21:32 -05:00
Matthew Brown	6dbb911da1	Fix templating class-string unions	2020-02-01 15:02:44 -05:00
Matthew Brown	292f6e797f	Only make directly-assertable things possibly-undefined ... Ref #2724	2020-02-01 10:58:13 -05:00
Matthew Brown	f2347303c9	Skip correct test	2020-02-01 01:43:26 -05:00
Matthew Brown	255ffa05ea	Skip another failing test	2020-01-31 17:59:29 -05:00
Matthew Brown	6f75903948	Fix dupe key	2020-01-31 17:47:11 -05:00
Brown	a40bfbd2b2	Add back skipped tests for the moment	2020-01-31 17:27:39 -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	adbe44d7bb	Revert countable checks	2020-01-31 15:24:44 -05:00
Brown	66227f9b7f	Fix #2727 - callable arg checks should obey ignore_falsable_return	2020-01-31 13:58:56 -05:00
Brown	3d6c63bc08	Break apart FunctionCallTest	2020-01-31 13:58:02 -05:00
Brown	34408a892c	Support has-at-least type in negation	2020-01-31 13:13:50 -05:00
Brown	37765098e9	Fix #2725 - allow empty checks on objects that implement countable	2020-01-31 12:55:33 -05:00
Brown	8f95c5679e	Fix #2720 - allow throwing self	2020-01-30 18:00:31 -05:00
Brown	216d9256a1	Allow templated array_map callable inference ... Fixes #2719	2020-01-30 17:13:46 -05:00
Philip Hofstetter	f6983fd883	allow setting php version from config or composer.json ... if a composer.json is present and a PHP version requirement is configured, we set the php version to the minimal PHP version that satisfies the composer requirement. Additionally, this adds a `phpVersion` attribute to the <psalm> tag. If that's set, it takes precedence over what has been detected in composer.json. And finally, the --php-version command line flag continues to work and takes precedence over the setting in the <psalm> tag this fixes #2628	2020-01-30 08:48:53 -05:00
Matthew Brown	365236a6bb	Replace assertion with type	2020-01-29 23:55:27 -05:00