76 Commits

Author	SHA1	Message	Date
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
Brown	712806b452	Fix #2874 - understand doubly-inherited interface templates	2020-02-24 17:58:44 -05:00
Matthew Brown	d3bfb96431	Fix #2808 - improve yield type discernment	2020-02-15 10:47:07 -05:00
Matthew Brown	47ffb59241	Fix #2764 - iterate through all possible template types where necessary	2020-02-09 18:11:50 -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	50fc50fab0	Fix #2751 - allow static methods to inherit class templates	2020-02-05 11:19:40 -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	137650fe6f	Fix #2556 - don’t remap params if they’ve already been remapped once	2020-01-06 09:18:16 -05:00
Matthew Brown	d3fb0181cb	Fix #2527 - no crash when template cannot be resolved	2019-12-29 08:45:42 -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	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