93 Commits

Author	SHA1	Message	Date
Matt Brown	e9ec1b28a2	Simplify storage and retrieval of extended template params	2021-01-29 11:47:05 +01:00
Matt Brown	9fdc56ff75	Fix template type selection	2021-01-29 11:47:04 +01:00
Matt Brown	5219932408	Fix #4545 - allow intersections in more places	2021-01-29 11:46:10 +01:00
Matt Brown	63bf00513b	Split out trait template tests	2021-01-29 11:46:09 +01:00
Matt Brown	e8c755c7c0	Fix #4537 - use more rigorous inerhitance for return and param types	2021-01-29 11:46:09 +01:00
Matt Brown	bd20313a14	Use better way to determine which signture to use ... Fixes #4524	2021-01-29 11:46:09 +01:00
Matt Brown	e624f972dd	Fix #4524 - do better template param inheritance	2021-01-29 11:46:08 +01:00
Matt Brown	0ea0604cf3	Fix #4453 - sanitise @extends types before attempting to parse	2021-01-29 11:44:36 +01:00
Brown	db55f608be	Fix #4122 - detect yield in function arguments	2021-01-29 11:39:36 +01:00
orklah	db45ff1ba4	More return types (#4173) ... * add native return types * redundant phpdoc	2021-01-29 11:38:57 +01:00
Brown	c96ba8d1f5	Add some backwards-incompatible changes for 4.x	2021-01-29 11:38:48 +01:00
Brown	bd7f207e31	Preserve intersections when expanding templated types ... Fixes #4043	2021-01-29 11:38:45 +01:00
Bruce Weirdan	1cc4715740	Fix windows tests (#4040) ... * Fix windows tests by not mangling the expectations * Use platform-dependent directory separator in expected messages * fix CS	2021-01-29 11:38:04 +01:00
Brown	afce2dc66f	Tighten up rules around instantiation a bit more	2020-08-06 10:18:55 -04:00
Brown	c0b0036109	Fix #3934 - prevent unsafe use of new static	2020-08-05 19:39:27 -04:00
Brown	873970a4d1	Recursively transform template types before comparison ... Fixes #3887	2020-07-24 14:47:24 -04:00
Brown	92fe9898a1	Fix #3879 - ensure interface templates are extended where nececssary	2020-07-24 11:29:36 -04:00
Brown	8ecee6df6d	Fix #3760 - prevent param remapping twice	2020-07-07 11:44:22 -04:00
Brown	ab6df0a5d1	Fix #3753 - resolve self-references in trait as statements earlier	2020-07-05 12:05:25 -04:00
Brown	5da29955ee	Use better replacement when analysing potentially-inherited templated type	2020-07-03 12:25:33 -04:00
Brown	ea82cdc6ea	Fix #3726 - infer generic template from class-string	2020-07-02 01:11:46 -04:00
Brown	fa0f43f0cf	Skip failing test	2020-07-02 00:22:14 -04:00
Brown	ae7c5b095b	Fix #3712 - allow taints to be suppressed with @psalm-suppress	2020-07-01 23:23:45 -04:00
Matthew Brown	427f470806	Fix #3586 - ensure templated trait params more accurate	2020-06-13 16:37:39 -04:00
Brown	fcf0a681d9	Fix #3531 - ignore mixed returns from template	2020-06-06 10:33:49 -04:00
Brown	be8fd3ea19	Fix #3481 - treat an iterable like a Traversable when comparing to object	2020-05-31 01:22:43 -04:00
Matthew Brown	8c236f411a	Fix #3353 - allow extending nested when nested as type is mixed	2020-05-12 15:07:16 -04:00
Brown	3e16aec33c	Remap generic template params where necessary ... Fixes #3325	2020-05-08 22:55:18 -04:00
Brown	a089d8bd58	Fix #3296 - propagate final flag to static calls in return types	2020-05-03 20:42:06 -04:00
Brown	6024447ca0	Expand function-based template types before comparing against inherited ... Fixes #3276	2020-05-01 12:40:10 -04:00
Brown	52c0346b65	Fix #3213 - make sure static is bound from a static call with set class	2020-04-22 11:34:46 -04:00
Brown	6fc18af42e	Fix #3163 - map object-like arrays too	2020-04-19 18:46:24 -04:00
Brown	2188b6736f	Fix #3162 ... Descend into inherited templates to prevent function-defined templates mapping inappopriately	2020-04-19 12:19:39 -04:00
Brown	d2d795018f	Fix #3138 - fix inherited property template type inference	2020-04-18 16:57:13 -04:00
Brown	5ef82b53f6	Fix #3137 - support nested templates in class definitions	2020-04-17 01:16:15 -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	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
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
Brown	f6759c3d16	Check return statement types for inherited docblocks	2020-03-24 17:59:48 -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	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
Matthew Brown	abb3800d20	Fix bad template replacement	2020-02-27 23:00:40 -05:00
Brown	35c1670602	Fix #2875 - treat intersections more similarly than before	2020-02-27 18:42:15 -05:00