80 Commits

Author	SHA1	Message	Date
Brown	b9ba24929d	Refactor storage of template names to prevent clashes	2019-03-22 15:59:10 -04:00
Matthew Brown	9c45f33403	Don’t automatically inherit __construct from parent as overridden method id	2019-03-17 14:16:52 -04:00
Matthew Brown	a0659a02f1	Fix #1418 - support templated union types	2019-03-16 11:15:25 -04:00
Brown	e5f7a5a4bc	Coerce class string types together	2019-03-08 17:35:09 -05:00
Matthew Brown	1c8a573b5f	Change TGenericParam to TTemplateParam	2019-02-21 21:40:06 -05:00
Brown	d2968081f8	Fix #1370 - allow phpstorm generic iterator	2019-02-20 11:13:40 -05:00
Brown	c68209b8f3	Fix #1300 - add functions mentioned in class file where class is used	2019-02-08 17:41:03 -05:00
Brown	3f289731bb	Add ability to check descendants in ignored exceptions	2019-01-31 18:40:40 -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	22ee72808a	Remove a bunch of hacks around generic offsets ... Also fixes #1245	2019-01-26 16:58:49 -05:00
Brown	5352084188	Fix #1234 - apply @template-extends to inherited method signatures	2019-01-24 16:09:04 -05:00
Brown	0d52dc4e00	Fix #1232 - allow checking of extended templated function returns	2019-01-24 15:03:13 -05:00
Brown	006801f661	Fix #1233 - inherit docblock return types from interfaces and classes when signature exists	2019-01-24 11:55:59 -05:00
Matthew Brown	8bc17e47be	Fix #1227 - allow genric params in @psalm-assert	2019-01-22 23:42:54 -05:00
Brown	1ac51fcea6	Allow binding params of extended templates ... Fixes #1207	2019-01-16 12:07:30 -05:00
Matthew Brown	9ef1ce1535	Make @template-extends more robust	2019-01-12 18:18:23 -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
Matthew Brown	2dc3d9651f	Separate iterable into its own type ... Fixes #1151	2019-01-04 14:54:40 -05:00
Brown	9fdf29c468	Fix #1165 - default inherited unresolved constants to mixed	2019-01-02 13:46:46 -05:00
Matthew Brown	901596281c	Fix #1143 - check some variable new calls	2019-01-02 06:58:49 -05:00
Matthew Brown	e744e71946	Fix class_alias treatment for interfaces and others	2018-12-21 09:29:23 -05:00
Matthew Brown	fa9a04369b	Don’t propagate internal to methods/properties of traits and interfaces	2018-12-13 09:28:30 -05:00
Matthew Brown	b32000fa05	Fix #689 - add checks for @internal annotations	2018-12-01 18:37:49 -05:00
Brown	9e4765663d	Fix #999 - respect @method annotations to redefine parent methods	2018-11-30 15:13:25 -05:00
Brown	1b740aebb5	Fix #1104 - allow multiple trait method aliases to map to same method	2018-11-30 13:45:49 -05:00
Brown	ca602f8e17	Fix language server crash after editing trait method names	2018-11-20 15:51:47 -05:00
Brown	0254322bed	Migrate Codebase-namespaced and FileManipulation-namespaced classes to internals	2018-11-12 11:20:59 -05:00