359 Commits

Author	SHA1	Message	Date
Brown	751253ddf0	Fix #1603 - prevent invalid covariant template classes from being passed	2019-05-06 16:38:08 -04:00
Matthew Brown	ae531506de	Fix #1591 - allow variable typed to string to be compared to literal in reverse order	2019-05-02 00:50:35 -04:00
Matthew Brown	59e53acd56	Fix new template class array key coercion to mixed - when we don’t know, assume bottom type	2019-04-26 07:54:21 -04:00
Brown	0e4c8ce482	Split apart TypeCoercion issues, allowing more granular issue filtering	2019-04-25 18:02:19 -04:00
Brown	1348d634ed	Improve handling of variadic parameters	2019-04-09 13:58:49 -04:00
Matthew Brown	230680fd1c	Fix #1513 - use correct param types when examining abstract trait methods	2019-03-28 22:47:17 -04:00
Brown	937eb42e8b	Do not override parent return type	2019-03-28 10:43:49 -04:00
Brown	c022d49b1a	Allow coercion from templated param to false	2019-03-28 10:19:02 -04:00
Brown	783f028f70	Fix #1498 - use template types from parent function	2019-03-25 11:25:43 -04:00
Matthew Brown	c772914910	Add some formatting	2019-03-23 14:27:54 -04:00
Brown	22fc0b5aa3	Fix #1482 - don’t substitute template params when no default present	2019-03-22 18:05:45 -04:00
Brown	cc568422d8	Fix #1488 - allow inheritance when dummy template exists	2019-03-22 16:29:30 -04:00
Brown	b9ba24929d	Refactor storage of template names to prevent clashes	2019-03-22 15:59:10 -04:00
Brown	29666bf22e	Fix #1489 - make sure you’re checking against known params	2019-03-21 18:28:25 -04:00
Brown	8ed5e661a4	Catch object passed to array-key	2019-03-19 11:43:37 -04:00
Matthew Brown	4865f66aeb	Allow better comparisons for templated types	2019-03-17 18:52:42 -04:00
Matthew Brown	9ee4a7414b	Fix #1461 - check interfaces when analysing abstract method call	2019-03-17 14:16:52 -04:00
Matthew Brown	ca765cba58	Fix errors caused by bad generic param counts ... Fixes #1474	2019-03-17 12:20:57 -04:00
Matthew Brown	f5c6abb6a0	Allow capturing of class-string<T> ... Fixes #1457	2019-03-17 10:19:15 -04:00
Matthew Brown	a0659a02f1	Fix #1418 - support templated union types	2019-03-16 11:15:25 -04:00
Matthew Brown	c22cdb0795	Fix #1459 - allow nullable templated comparison	2019-03-15 21:37:50 -04:00
Matthew Brown	312be71be1	Localise overridden templated param types	2019-03-14 10:11:45 -04:00
Matthew Brown	85f0fa6e7d	Add support for literal templated defaults	2019-03-07 22:32:38 -05:00
Brown	94b1161a80	Add skipped test;	2019-03-07 18:25:48 -05:00
Matthew Brown	ef0abf1c30	Fix #1411 - allow covariance on extended templates	2019-03-02 16:31:34 -05:00
Bruce Weirdan	9bdc9f774f	More provider typing	2019-03-02 08:43:19 -05:00
Matthew Brown	619590aa71	Fix parsing of template of type with spaces ... Fixes #1406	2019-03-01 09:20:59 -05:00
Matthew Brown	b3c5120d72	Fix #1403 - warn about duplicate templates	2019-02-28 23:43:55 -05:00
Brown	601f303de2	Fix position of invalid param	2019-02-27 16:00:44 -05:00
Brown	119687f934	Fix redundant condition message when negating a docblock type	2019-02-27 14:02:02 -05:00
Matthew Brown	6671e0dc7c	Fix #1382 - flag unused docblocks	2019-02-23 11:02:04 -05:00
Matthew Brown	ce4f2e6334	Fix #1364 - use proper types for extended getIterator calls	2019-02-21 23:01:34 -05:00
Matthew Brown	f87827e812	Fix #1288 - prevent template names from clashing with real-world classes	2019-02-21 21:54:00 -05:00
Matthew Brown	62fb8035bf	Fix #1309 - no PropertyNotSetInConstructor warnings for grandchild of class	2019-02-10 15:01:10 -05:00
Matthew Brown	6976528c7e	Fix #1310 - check template defining class matches	2019-02-10 12:02:18 -05:00
bugreportuser	6c7819b438	Allow @psalm-template for classes	2019-02-09 11:15:25 -05:00
Matthew Brown	f4518d59e0	Fix #1303 - improve handling of class-string<Foo> type arg passed to class-string<T> param	2019-02-08 13:34:30 -05:00
Matthew Brown	98644f7a65	Allow more-specific template types to override mixed	2019-02-08 13:09:36 -05:00
Matthew Brown	88b4f8230c	Remove parent call	2019-02-07 19:01:33 -05:00
Matthew Brown	6d0e78540a	Only move issue once	2019-02-07 18:47:50 -05:00
Matthew Brown	dfe45e7d26	Fix #1290 - improve handling of more specific template	2019-02-06 15:56:40 -05:00
SignpostMarv	4a56688800	adding DIRECTORY_SEPARATOR to tests that fail under windows	2019-02-06 14:29:10 -05:00
Matthew Brown	d45326759f	Fix #1287 - improve handling of templated intersection	2019-02-06 12:37:05 -05:00
Matthew Brown	020430c66f	Recover better from union type errors in template names	2019-02-05 17:43:46 -05:00
Matthew Brown	899dd16e8f	Be more strict about what can be a template as type	2019-02-05 17:26:34 -05:00
Matthew Brown	6d5c995458	Fix #1282 - allow generic self and static	2019-02-05 08:02:06 -05:00
Matthew Brown	ab22634d23	Fix #1274 - fix parent:: call to templated method	2019-02-04 00:52:31 -05:00
Brown	533b92e15a	Fix #1269 - fill in object type	2019-02-01 14:13:21 -05:00
Brown	8b65acf15b	Make return type mismatch more clear	2019-02-01 10:55:28 -05:00
Brown	d52fd70fd6	Fix invalid inheritance for SplObjectStorage	2019-01-30 13:48:05 -05:00
Brown	8c27bd77f6	Fix #1259 - add support for SplObjectStorage type params	2019-01-30 13:03:22 -05:00
Brown	819489e68d	Add method that reflection doesn’t know exists	2019-01-28 17:09:23 -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	00e95cbd6b	Understand that template class string transforms back to templated class ... Fixes #1250	2019-01-27 15:08:17 -05:00
Matthew Brown	60e7587c2d	Replace template types in object-like arrays	2019-01-27 14:20:41 -05:00
Matthew Brown	22ee72808a	Remove a bunch of hacks around generic offsets ... Also fixes #1245	2019-01-26 16:58:49 -05:00
Matthew Brown	fc8c96eccf	Split out @extends template test	2019-01-25 22:33:42 -05:00