248 Commits

Author	SHA1	Message	Date
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
Brown	f4485cc529	Fix #2847 - use fully-qualified function name	2020-02-21 16:44:31 -05:00
Brown	b51863fc9b	Fix #2848 - allow casting templated types	2020-02-21 15:17:35 -05:00
Brown	f44a0f9f4c	Fix #2849 - allow object-like templated array comparison	2020-02-21 15:13:07 -05:00
Matthew Brown	9bdca3c706	Forbid array<mixed, ...>	2020-02-21 01:26:51 -05:00
Matthew Brown	00afcda5e0	Fix #2824 - allow unpacking of non-arrays with template params	2020-02-17 19:54:11 -05:00
Matthew Brown	d3bfb96431	Fix #2808 - improve yield type discernment	2020-02-15 10:47:07 -05:00
Matthew Brown	fb5a0c39cb	Fix #2819 - improve negated assertions on templates	2020-02-14 11:18:47 -05:00
Matthew Brown	47ffb59241	Fix #2764 - iterate through all possible template types where necessary	2020-02-09 18:11:50 -05:00
Matthew Brown	b439a573ce	Empty is also the bottom type	2020-02-08 11:40:22 -05:00
Matthew Brown	b26deb434d	Fix #2771 - replace empty params with generic equivalents ... Ref #2755	2020-02-08 11:17:24 -05:00
Brown	23f8967fb5	Fix conditional class-string template replacement	2020-02-06 19:40:18 -05:00
Brown	d5f71bf529	Localise template checks to class being tested	2020-02-06 16:38:45 -05:00
Brown	0fd0d01d2b	Improve class-string templating	2020-02-06 14:35:36 -05:00
Brown	a16e03d992	Fix #2756 - narrow assertion templated type	2020-02-06 11:49:15 -05:00
Brown	50fc50fab0	Fix #2751 - allow static methods to inherit class templates	2020-02-05 11:19:40 -05:00
Matthew Brown	43c7b00cd0	Fix #2734 - allow is_a to operate on templated class-strings	2020-02-02 12:26:28 -05:00
Matthew Brown	8db4bc7691	Improve formatting of intersection error messages ... Also reduce false positives on intersections of templates	2020-02-02 12:25:24 -05:00
Matthew Brown	b67f661604	Fix #2735 - interpret template check in context of class-string generation	2020-02-02 10:51:18 -05:00
Matthew Brown	6dbb911da1	Fix templating class-string unions	2020-02-01 15:02:44 -05:00
Brown	216d9256a1	Allow templated array_map callable inference ... Fixes #2719	2020-01-30 17:13:46 -05:00
Brown	a2e1dfd64e	Fix #2667 - don’t check inherited signature return types for accuracy	2020-01-21 11:07:44 -05:00
Matthew Brown	146dd461ef	Fix #2569 - improve template return type checks	2020-01-07 21:08:13 -05:00
Brown	024ec38aa1	Fix #2567 - still remap params in some circumstances	2020-01-07 13:01:16 -05:00
Matthew Brown	2cd7f74efb	Fix #2554 - treat templated class string as proper subtype of class string	2020-01-07 00:39:16 -05:00
Matthew Brown	137650fe6f	Fix #2556 - don’t remap params if they’ve already been remapped once	2020-01-06 09:18:16 -05:00
Matthew Brown	086d141f5c	Fix #2537 - allow complex intersection templates to be preserved	2020-01-01 13:51:54 -05:00
Matthew Brown	023c4bcef0	Fix #2532 - fix templating inside class method when calling templated method	2019-12-30 07:25:36 -05:00