205 Commits

Author	SHA1	Message	Date
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
Matthew Brown	2b88261ecd	Fix templated assertion cc @vasily-kartashov ... This is a good reason for you to skip 3.8.1	2019-12-29 11:57:54 -05:00
Matthew Brown	d3fb0181cb	Fix #2527 - no crash when template cannot be resolved	2019-12-29 08:45:42 -05:00
Matthew Brown	55c2f7faa2	Fix #2508 - don’t replace templated types with generic ones inside own function	2019-12-28 18:38:02 -05:00
Matthew Brown	068afa09d3	Add very basic implementation for class-string-map ... Fixes #1969	2019-12-27 12:49:28 -05:00
Matthew Brown	b78f273ccf	Improve handling of template params a smidge	2019-12-27 11:49:44 -05:00
Matthew Brown	a4191171bf	Fix #2483 - treat intersecting PHPDocs from interfaces better	2019-12-20 01:42:57 +00:00
Matthew Brown	cb797c6159	Fix inherited class methods as well ... Ref #2478	2019-12-18 14:39:37 +00:00
Matthew Brown	49a3f89526	Fix #2478 - process trait template inheritance sensibly	2019-12-18 13:58:37 +00:00
Matthew Brown	bdbc758ddc	Fix #2475 - allow iterable covariance	2019-12-16 07:16:35 -05:00
Matthew Brown	72f3c306d7	Fix #2471 - don’t erroneously template class-strings	2019-12-15 13:23:04 -05:00
Matthew Brown	ce2e5b27c0	Fix #2470 - only parameterise constructors according to inherited params	2019-12-14 11:38:09 -05:00
Matthew Brown	797a059a84	Prevent static methods using class instance template types	2019-12-14 09:40:09 -05:00
Matthew Brown	b48021dbfd	Allow null return on template with null as type ... Ref #2466	2019-12-13 21:56:43 -05:00
Matthew Brown	f40b6625eb	Fix #2431 - allow null in template defaults	2019-12-13 21:40:09 -05:00
Matthew Brown	af52590fef	Make test better	2019-12-11 00:42:09 -05:00
Matthew Brown	848cbbb487	Fix #2454 - build up template map to better understand passed-through data	2019-12-11 00:34:54 -05:00
Matthew Brown	8494f02008	Fix template handling when templating inside templated class	2019-12-10 00:50:36 -05:00
Brown	b78acf796f	Fix #2445 - only generalise param when it’s generic	2019-12-09 10:58:09 -05:00
Matthew Brown	517aaac851	Fix #2432 - narrow template type after is_object check	2019-12-08 21:40:15 -05:00
Matthew Brown	d6a731be73	Fix #2441 - add error when @template type is missing	2019-12-08 21:19:29 -05:00
Matthew Brown	e3d108ebd9	Fix #2439 - fix templating of class-string<T>::returnsStatic	2019-12-08 21:12:25 -05:00
Matthew Brown	69e6624b16	Fix #2436 - fix templating of property types inside templated functions	2019-12-08 19:25:40 -05:00
Brown	d5f5c742ce	Fix #2411 - allow use of covariant params in array returned value	2019-12-04 10:49:07 -05:00
Matthew Brown	27c9aa4286	Fix code and test	2019-12-01 10:43:51 -05:00
Matthew Brown	f21150b8ad	Fix #2384 - fix resolution of @param-out template types	2019-12-01 10:40:53 -05:00
Matthew Brown	088228f119	Fix template default type issue	2019-11-30 12:54:08 -05:00
Matthew Brown	04879af105	Be less forgiving when extending builtin generic classes	2019-11-30 09:32:21 -05:00
Matthew Brown	d7c3ce2fa8	Fix test to be more accomodating	2019-11-30 01:28:02 -05:00
Matthew Brown	45bf8eee00	Add test that should always work	2019-11-29 11:25:29 -05:00
Matthew Brown	1e3ecb5fd0	Fix #2387 - ensure docblock return types are checked	2019-11-29 11:20:37 -05:00
Matthew Brown	a4e18f9b5e	Fix #2386 - make generator params invariant	2019-11-29 01:44:31 -05:00
Bruce Weirdan	377e47c8bd	Added WeakReference support (#2389)	2019-11-29 01:21:38 -05:00
Brown	532e2d64be	Allow using covariant template in mutation-free context	2019-11-26 11:35:03 -05:00
Brown	a91d2ef572	Add space	2019-11-25 16:55:44 -05:00
Brown	736ccd84cd	Allow more generic iterable when yielding ... Fixes #2353	2019-11-25 16:12:44 -05:00
Brown	b693b726c7	Improve handling of default extended params	2019-11-14 12:12:09 -05:00
Brown	70b8df268d	Fix template covariance calculation, use container covariance not inputs	2019-11-14 11:43:49 -05:00
Brown	23c37f829d	Move covariant tests into their own place	2019-11-14 11:42:16 -05:00
Matthew Brown	0b1f83ff98	Fix #2346 - map covariance of templated return types when extending with more params	2019-11-14 07:45:20 -05:00
Matthew Brown	7012bedf4e	Fix #2326 - substitute static more responsibly in generic objects	2019-11-12 08:01:22 -05:00
Matthew Brown	b1aae0d1a5	Fix more try/catch stuff	2019-11-12 00:52:10 -05:00
Brown	46d163996e	Fix #2321 - prevent inferred template coercion	2019-11-11 09:14:34 -05:00
Brown	4e5af3490a	Fix #2315 - allow Traversable->iterable templated casting	2019-11-08 13:11:01 -05:00