2986 Commits

Author	SHA1	Message	Date
Matthew Brown	d1270a61c7	Suppress MixedAssignment again	2020-04-05 01:04:52 -04:00
Brown	40345dd29c	Remove json_encode test that no longer works	2020-04-04 18:02:28 -04:00
Brown	1bf1a6e46b	Accept partial match of template type	2020-04-04 17:14:33 -04:00
Brown	0db49e38f0	Covariant can accept anything	2020-04-04 12:05:01 -04:00
Brown	1b01d7b356	Fix tests	2020-04-04 11:51:24 -04:00
Brown	b73b75f1a1	Allow newlines in shortcut version of return type provider	2020-04-04 11:04:00 -04:00
Brown	56cc5fb611	Allow shortcut for specifying conditional template types	2020-04-04 09:31:12 -04:00
Brown	8f8cc6aed5	Move conditional return type tests	2020-04-04 09:27:11 -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
Matthew Brown	ecac9d56c0	Fix #3061 - prevent array_key_exists from completely changing type	2020-04-03 08:05:21 -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	72104a52ad	Improve file invalidation when using --diff mode	2020-04-02 17:18:04 -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	001f064bd4	Don’t modify contents of IssueBuffer in baseline before caching	2020-03-31 23:38:58 -04:00
Brown	ddc8c50d2a	Prevent some inheritance issues	2020-03-31 11:28:36 -04:00
Brown	687ce87995	Ensure issues from unused classes & params is always saved to cache	2020-03-31 09:56:27 -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	717d588683	Fix a test thing	2020-03-29 19:51:13 -04:00
Matthew Brown	1b88316c51	Convert method from recursive to inline	2020-03-29 19:42:22 -04:00
Matthew Brown	15c6778223	Add test that passes	2020-03-29 18:59:48 -04:00
Matthew Brown	32d5c92428	Split up test	2020-03-29 18:28:49 -04:00
Matthew Brown	194f02507d	Allow conditional types to reference class constants	2020-03-29 13:37:37 -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	1439c90789	Add support for conditional checks on literal ints & strings	2020-03-29 10:02:24 -04:00
Matthew Brown	7fdccc0439	Fix #3014 - change constant class access rules	2020-03-29 09:47:29 -04:00
Matthew Brown	39f7296670	Fix #2191 - allow inheritance from stub-only files	2020-03-29 00:13:01 -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	fc651c489e	Break out MissingReturnType manipulation tests	2020-03-28 22:49:38 -04:00
Matthew Brown	86a89b2d27	Fix #3034 - expand out while expressions for more accurate variable initialisation	2020-03-28 18:22:08 -04:00
Matthew Brown	de6aee32d1	Fix #3035 - improve templating for property assignments	2020-03-28 17:18:21 -04:00
Matthew Brown	47c1470e3b	Refactor reference checks to use more appropriate properties	2020-03-28 16:30:56 -04:00
Matthew Brown	3edf31c885	Fix test	2020-03-28 15:00:27 -04:00
Brown	e3ff856cac	Improve treatment of static in intersection	2020-03-27 19:17:44 -04:00
Brown	056f4aaac6	Fix #3027 - inherited properties should be templated properly	2020-03-27 18:31:48 -04:00
Brown	ae31ec6805	Fix resolution of get_called_class	2020-03-27 09:51:53 -04:00
Brown	031c5be8e6	Check trait methods better	2020-03-27 00:37:33 -04:00
Brown	971ae50bea	Do prep work for #3024 - improve handling of absent class references	2020-03-26 12:35:27 -04:00
Matthew Brown	68c95c622a	Save information about last runs whether or not there were errors	2020-03-26 00:46:39 -04:00
Matthew Brown	f94ab22a5f	Be better about strict inference	2020-03-25 09:18:49 -04:00
Matthew Brown	4734583444	Don’t overwrite already-defined template	2020-03-24 23:40:01 -04:00
Brown	467da32f84	Fix instanceof static and isa (static::class) handling	2020-03-24 18:58:15 -04:00
iggyvolz	94b246b987	Initial commit (#3013)	2020-03-24 18:32:57 -04:00