275 Commits

Author	SHA1	Message	Date
Brown	b0455adced	Fix #3177 - prevent crash by using inherited templates	2020-04-18 11:48:22 -04:00
Brown	5180ce1f54	Improve template assertion reconciliation ... Fixes #3144	2020-04-18 11:22:06 -04:00
Valentin Udaltsov	9b8e8ab964	Support non-empty-arrays in array_keys (#3168) ... Closes #3160	2020-04-18 00:56:54 -04:00
Matthew Brown	aa29c7fc9e	Revert "Support non-empty-arrays in array_keys (#3168)" (#3172) ... This reverts commit a280e57ecf.	2020-04-17 16:52:08 -04:00
Valentin Udaltsov	a280e57ecf	Support non-empty-arrays in array_keys (#3168) ... Closes #3160	2020-04-17 15:07:41 -04:00
Brown	aa3846758e	Fix #3153 - narrow template types in conditional branches	2020-04-17 09:53:58 -04:00
Brown	5ef82b53f6	Fix #3137 - support nested templates in class definitions	2020-04-17 01:16:15 -04:00
Brown	35d376cbe7	Fix #3164 - allow nested templates in conditional classes	2020-04-17 00:46:27 -04:00
Brown	15df39f72f	Fix #3127 - allow templated param to be accepted where static is expected	2020-04-12 20:09:49 -04:00
Brown	672baea6fc	Fix #3116 - allow class to be compared to a templated class-string	2020-04-10 00:26:11 -04:00
Brown	a117c48bb2	Add back nuance to error messages for conflicting type bounds	2020-04-08 12:37:46 -04:00
Brown	5db9f0e8c0	Fix #2722 - change behaviour to inherit params to match just on position ... And not name + position	2020-04-08 00:54:17 -04:00
Brown	067104e170	Fix #3084 - keep track of upper and lower bounds of inferred template types	2020-04-07 00:13:56 -04:00
Brown	387bc02e71	Fix #3082 - merge intersection types when replacing template types	2020-04-06 10:19:36 -04:00
Brown	aca84e6f96	Fix inconsistency in partial template matching	2020-04-05 18:40:25 -04:00
Matthew Brown	d1270a61c7	Suppress MixedAssignment again	2020-04-05 01:04:52 -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	fa28d767fc	Prevent a templated type from hitting covariance checks	2020-04-01 10:53:40 -04:00
Matthew Brown	de6aee32d1	Fix #3035 - improve templating for property assignments	2020-03-28 17:18:21 -04:00
Brown	056f4aaac6	Fix #3027 - inherited properties should be templated properly	2020-03-27 18:31:48 -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
iggyvolz	94b246b987	Initial commit (#3013)	2020-03-24 18:32:57 -04:00
Brown	f6759c3d16	Check return statement types for inherited docblocks	2020-03-24 17:59:48 -04:00
Brown	cae15b6c62	Use appropriate template types when applying array_filter asssertions ... Fixes #3008	2020-03-24 12:15:56 -04:00
Matthew Brown	f7907eb43f	Fix #2987 - ignore MixedReturnTypeCoercion for generator send param	2020-03-18 21:25:25 -04:00
Matthew Brown	311bd19a6a	Fix #2983 - inherited lists should have their template types localised	2020-03-18 16:23:09 -04:00
Matthew Brown	50eb12e562	Fix implementation kink	2020-03-15 16:14:09 -04:00
Matthew Brown	532ce576cc	Fix #2974 - interpret interfaces a little better	2020-03-15 15:49:13 -04:00
Matthew Brown	0af2eba4b9	Fix #2973 - don’t allow template type through	2020-03-15 11:14:06 -04:00
Matthew Brown	520db22929	We can infer this type now	2020-03-11 15:43:44 -04:00
Matthew Brown	1062591eec	Fix broken test	2020-03-11 13:44:08 -04:00
Brown	a0da7356e9	Fix #2935 - make handling of templated properties much less hacky	2020-03-09 09:59:02 -04:00
Matthew Brown	8926f1d050	Remove dupe test	2020-03-06 19:37:21 -05:00
Matthew Brown	b999037263	Fix #2928 - properly expand out skipped template inheritance	2020-03-06 19:24:47 -05:00
Brown	09137b0a32	Fix #2918 - fix contradiction issue with templated equality	2020-03-05 16:21:41 -05:00
Matthew Brown	f44c3488eb	Keep track of which arg a given template was assigned from ... Fixes #2900 - We only care about the depth of a templated match when templating from a particular argument. The next argument should essentially start afresh	2020-03-01 12:27:18 -05:00
Matthew Brown	e0d555e203	Allow function names to passed in as strings for callable template resolution	2020-02-29 15:43:45 -05:00
Matthew Brown	abb3800d20	Fix bad template replacement	2020-02-27 23:00:40 -05:00
Matthew Brown	1f19aed31b	Fix support for replacing mocked types in own classes	2020-02-27 21:36:03 -05:00
Brown	35c1670602	Fix #2875 - treat intersections more similarly than before	2020-02-27 18:42:15 -05:00
Matthew Brown	746f8d4973	Prevent returning named object where template return assumed	2020-02-24 23:14:16 -05:00
Brown	712806b452	Fix #2874 - understand doubly-inherited interface templates	2020-02-24 17:58:44 -05:00
Matthew Brown	4707b21227	Fix tests	2020-02-21 22:15:25 -05:00