66 Commits

Author	SHA1	Message	Date
bugreportuser	cd23a19931	Allow concat for define first arg	2019-02-20 10:55:36 -05:00
Matthew Brown	356a45a155	Improve ergonomics of PHPStorm meta parsing	2019-02-16 18:50:25 -05:00
Matthew Brown	9a8f969d5c	Fix #1314 - make sure we always know what a closure is if we’re using one	2019-02-10 16:23:31 -05:00
Matthew Brown	17541b415f	Fix #1191 - allow Psalm to check against different versions of PHP	2019-02-07 12:25:57 -05:00
Matthew Brown	822e840d0c	Prevent union in function template as	2019-02-05 17:39:11 -05:00
Matthew Brown	899dd16e8f	Be more strict about what can be a template as type	2019-02-05 17:26:34 -05:00
Brown	9edbae2bdc	Fix possible fatal when builtin function is called in array_filter	2019-01-28 17:54:50 -05:00
Brown	3e4c63eb9a	Fix template extension in grandchildren	2019-01-28 16:56:42 -05:00
Matthew Brown	081ba4b204	Fix #1072 - add support for @use SomeTrait<T>	2019-01-27 23:12:40 -05:00
Matthew Brown	f67bab6d52	Restrict template-extends to actual extends	2019-01-27 21:00:27 -05:00
Matthew Brown	22ee72808a	Remove a bunch of hacks around generic offsets ... Also fixes #1245	2019-01-26 16:58:49 -05:00
Brown	cd0a7441d9	Add warnings for extended template param counts off	2019-01-24 17:55:03 -05:00
Brown	0d52dc4e00	Fix #1232 - allow checking of extended templated function returns	2019-01-24 15:03:13 -05:00
Matthew Brown	af19ca4bd5	Only worry if the alias is different to the intended one	2019-01-20 11:29:25 -05:00
Matthew Brown	60088b1189	Fix #1215 - prevent bad code from crashing Psalm	2019-01-20 11:10:12 -05:00
Matthew Brown	394d6509c6	Restrict class-string types to named objects (and intersections)	2019-01-19 22:46:06 -05:00
Matthew Brown	ee2b06ac43	Add initial support for @param-out	2019-01-19 13:32:43 -05:00
Matthew Brown	e2db6a77a6	Allow mixed param overrides for @inheritdoc	2019-01-19 12:46:39 -05:00
Matthew Brown	4f3d7fca0d	Fix issue where @inheritdoc could override local param types	2019-01-19 12:42:46 -05:00
Matthew Brown	eddaaea01b	Add support for static @method annotations	2019-01-18 11:37:52 -05:00
Matthew Brown	2c55e7aabb	Support template-typeof in class again	2019-01-13 14:29:04 -05:00
Matthew Brown	1de0e35545	Add checks for Psalm reserved words in assertions	2019-01-13 14:06:30 -05:00
Matthew Brown	6d462fcb64	Fix #909 - support private trait aliasing	2019-01-13 10:19:27 -05:00
Matthew Brown	a7005014c2	Fix #987 - namespace asserted classes	2019-01-12 11:40:19 -05:00
Matthew Brown	cfcb65aaac	Fix #1113 - treat class_alias as always global	2019-01-12 07:28:01 -05:00
Brown	1fddc19172	Add initial support for property types	2019-01-11 17:21:50 -05:00
Brown	9947bc56f6	Fix Psalm errors and improve error output	2019-01-10 19:18:02 -05:00
Brown	0d28d5d82b	Add check for @template-extends return types	2019-01-10 19:01:30 -05:00
Brown	ddc2637fc5	Add support for @template-extends Foo<SomeClass>	2019-01-10 17:58:32 -05:00
Brown	f108badd03	Fix #1067 - add support for @template-extends	2019-01-10 16:59:44 -05:00
Brown	b8d822cd26	Prohibit leaking of template params across class boundaries	2019-01-10 12:13:49 -05:00
Matthew Brown	d3324b42fa	Remove slashes from is_a and is_subclass_of string classes, and scan them	2019-01-09 08:49:02 -05:00
Brown	73770c085e	Prevent crash when @template as type is missing	2019-01-08 15:11:57 -05:00
Brown	4d959626d5	Fix #1175 - support trait method visibility changes	2019-01-07 11:53:22 -05:00
Matthew Brown	5691c37ece	Use reflection to figure out where dupe function was defined	2019-01-06 17:24:46 -05:00
Matthew Brown	a6357b413c	Don’t complain when rescanning file with function in	2019-01-06 17:03:13 -05:00
Matthew Brown	214fd7d461	Add DuplicateFunction issue ... Fixes #49	2019-01-06 16:40:44 -05:00
Matthew Brown	6f1d56a80f	Upcast iterables to traversables when used in a templated class string	2019-01-05 10:32:39 -05:00
Matthew Brown	9d8c2792e2	Add array-key type and improve general type handling ... Fixes #1144	2019-01-05 00:15:53 -05:00
Brown	1d300ec342	Fix #1150	2019-01-02 11:18:22 -05:00
Matthew Brown	c4d024a72d	Check variable static calls ... Fixes #1142 and #1160	2019-01-02 09:00:45 -05:00
Matthew Brown	e89425ad68	Inherit parameters via @inheritdoc	2018-12-21 11:01:24 -05:00
Brown	fb848d62e9	Add checks for if (count($a)) and if (count($a) [operator] [number])	2018-12-19 16:15:19 -05:00
Matthew Brown	ea89a6ba29	Revert "First pass" ... This reverts commit 9ed047234f.	2018-12-19 08:45:14 -05:00
Matthew Brown	9ed047234f	First pass	2018-12-19 01:59:14 -05:00
Matthew Brown	ca6149ed17	Improve treatment of templated params within function analysis	2018-12-17 23:29:27 -05:00
Matthew Brown	fd0ab47b80	Fix #1118 - detect possible issues with unions of mixed	2018-12-08 13:18:55 -05:00
Matthew Brown	b32000fa05	Fix #689 - add checks for @internal annotations	2018-12-01 18:37:49 -05:00
Brown	ef49e3984b	Fix #945 - allow ...$foo in docblock for non-user files to inform variadic	2018-11-30 19:21:14 -05:00
Brown	9e4765663d	Fix #999 - respect @method annotations to redefine parent methods	2018-11-30 15:13:25 -05:00