65 Commits

Author	SHA1	Message	Date
Brown	4a434d9a2f	Add separate issue for undefined classes in docblocks	2019-05-15 18:41:26 -04:00
Brown	f1d8b1e6e7	Prevent extending covariant template params ... Fixes #1610	2019-05-14 18:51:30 -04:00
Brown	7fbbe964cb	Fix #1609 - warn when using covariant template type as input	2019-05-14 18:17:38 -04:00
Brown	b7529e872b	Consider intersections when combining generic types	2019-05-08 13:23:47 -04:00
Matthew Brown	4f8d6a50d8	Don’t emit MissingClosureReturnType when inside call and type can be inferred	2019-05-06 20:47:55 -04:00
Brown	fec1a60e90	Ref #1600 - partial fix inferring param types when none is available	2019-05-06 18:44:10 -04:00
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