132 Commits

Author	SHA1	Message	Date
Daniil Gentili	8d0c1c62e8	Ensure all template parameters are specified in classes, interfaces, traits	2022-01-31 10:06:31 +01:00
Matthew Brown	61d450a267	Fix combination of templated types	2022-01-24 13:56:32 -05:00
Matthew Brown	944b281cbe	Prevent negation from removing unmatched template vars	2022-01-24 13:20:02 -05:00
orklah	0e891f25ad	refactor description of types in Atomic	2022-01-22 19:34:57 +01:00
Pete Walker	057a99c9f1	fix: Tests / minor bug	2022-01-22 00:00:45 +00:00
orklah	e8c8161dd6	fix merge induced errors	2022-01-15 20:32:09 +01:00
orklah	5b82082bbd	Merge remote-tracking branch 'upstream/4.x' into upstream-master2	2022-01-15 20:21:00 +01:00
Matthew Brown	b49682a485	Simplify issue suppression in tests	2022-01-13 14:38:17 -05:00
Matthew Brown	f439d6550b	Ensure that all entries in test arrays have explicit keys (#7386) ... * Transformation that updates assertions * Simplify transformation * Ensure that all tests have keys * Fix a few remaining keys	2022-01-13 13:49:37 -05:00
Vincent	fe7665aaaf	Add support of template for docblock methods (fix #7320)	2022-01-13 11:04:37 +01:00
Bruce Weirdan	ab60d311c2	Merge pull request #7188 from vimeo/muglug-use-invalidscalarargument-less	2022-01-03 06:04:42 +02:00
orklah	0747b48d06	remove TEmpty	2022-01-03 04:09:59 +02:00
Matthew Brown	b419c299e3	Use InvalidScalarArgument only when we can be sure PHP attempts coercion	2022-01-02 14:56:18 +02:00
Bruce Weirdan	36d5a2a83c	Merge pull request #7019 from zoonru/no_ksort_list	2022-01-02 07:37:21 +02:00
orklah	8e5c9f02bb	fix test	2022-01-01 11:21:43 +01:00
Daniil Gentili	ff7abec2bd	Fix tests	2021-12-30 12:01:25 +01:00
rarila	97e6511fab	Set number of lines before and after namespace.	2021-12-15 04:58:32 +01:00
ralila	8fb2e0f885	Handle some partials	2021-12-04 21:55:53 +01:00
Daniil Gentili	04bbd2acba	Fix tests	2021-11-26 21:47:17 +01:00
Matthew Brown	a205a23ccb	Fix #6212 - remove untested code, add test for reasonable behaviour	2021-07-31 19:50:56 -04:00
Matthew Brown	acc7ee261c	Fix #6066 - introduce more robust system for capturing template constraints (#6072) ... * Fix #6066 - add better system for capturing template constraints * Fix comment	2021-07-11 12:03:21 -04:00
Matt Brown	f5bc841295	Prevent nested literal coercion	2021-06-09 16:01:45 -04:00
Matthew Brown	d12cf88e83	Add back supported for templated index assignment	2021-06-09 12:55:37 -04:00
Bruce Weirdan	6abce3525a	Enforce use sort (#5900)	2021-06-07 22:55:21 -04:00
Matt Brown	38c452ae58	Add example given in ticket and ensure that works too	2021-05-24 00:09:51 -04:00
Matt Brown	8f333337cb	Fix #5804 - don’t choke on conditional return types when converting to callables	2021-05-23 21:41:07 -04:00
Matt Brown	d1262b0bec	Fix #5799 — improve expansion of templated types	2021-05-23 14:39:59 -04:00
Matt Brown	964c91c502	Fix skipped test	2021-05-20 10:57:25 -04:00
Matt Brown	3a811f1fb5	Fix/suppress failures	2021-05-19 15:30:36 -04:00
Matthew Brown	18931295c4	Fix #5073 — don’t crash when templates cannot be resolved	2021-05-13 16:55:22 -04:00
Matt Brown	ed43c739e3	Prevent another unsafe template situation, skipping key-of tests for now	2021-05-05 01:06:53 -04:00
Matt Brown	012dafad79	Fix #5383 - prevent unsound use of new static for generics	2021-04-10 13:16:19 -04:00
AndrolGenhald	d4590711d6	Fix object-like array keys when combining string and automatic keys (fixes #5427). (#5428) ... * Fix object-like array keys (fixes #5427). * Fix incorrect return types for tests. * Fix false positive list with literal int key.	2021-03-19 21:44:44 -04:00
Bruce Weirdan	841efbdfaf	Make WeakMap generic (#5313)	2021-03-02 22:25:19 -05:00
Matt Brown	474ebf912e	Fix #5229 - new SomeTemplatedClass should expand out params even if none passed	2021-02-25 21:20:05 -05:00
elnoro	fff32d0443	added test for multiline templates (#5282)	2021-02-25 17:42:20 -05:00
Matt Brown	8b5e0fc754	Fix #5172 - prevent calling function with implicitly-broader type	2021-02-07 11:07:22 -05:00
Matt Brown	0624098865	Ensure getId() output can always be parsed as a type ... Ref #5105	2021-01-25 23:41:51 -05:00
Daniil Gentili	81b75a7884	Check iterator types on yield from (#5042) ... * Check iterator types on yield from * Switch to NodeAbstract * Make Foo iterable	2021-01-20 17:41:15 -05:00
Matt Brown	ef0d19ed9f	Fix #5029 - remember staticness of types when combining	2021-01-16 01:12:18 -05:00
orklah	0e17a3354f	add stubs for standard iterators (#4725) ... * add stubs for standard iterators * Apply suggestions from code review cc @weirdan Co-authored-by: Bruce Weirdan <weirdan@gmail.com> * complete stub + delete code made redundant by stubs + fix some syntax in stubs * fix parse error Co-authored-by: Bruce Weirdan <weirdan@gmail.com>	2021-01-07 10:07:07 -05:00
Matthew Brown	ddd99970a9	Fix #4901 - simplify mapping of template types within class	2020-12-29 12:24:33 +00:00
2e3s	e46c68b1e5	Overwrite memoized return type after sum-type candidate is calculated (#4805) ... * Overwrite memoized return type after sum-type candidate is calculated * Fix mismatched types * Fix code style	2020-12-08 09:35:11 -05:00
Matt Brown	cec8d7138f	Fix #4782 - don’t replace closure types with upper bounds when replacing class param types	2020-12-05 11:58:55 -05:00
Matt Brown	4d81682fdd	Fix #4731 - expand out class-bound generic types when evaluating instance method	2020-11-29 21:36:50 -05:00
Matt Brown	86b6d6a506	Fix #4733 - don’t replace template types when they’re defined on the same class	2020-11-29 19:12:22 -05:00
Matt Brown	601c1d8cd0	Expand out constants in param types earlier	2020-11-29 19:07:35 -05:00
Matt Brown	58b306b6e3	Ensure class template types are mapped to static methods where necessary ... Ref #4733	2020-11-29 17:40:52 -05:00
Matt Brown	0c477da310	Fix test failures	2020-11-25 20:05:09 -05:00
Matt Brown	13b83e6132	Fix #4545 - allow intersections in more places	2020-11-13 09:43:30 -05:00