3915 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Matthew Brown	60e7587c2d	Replace template types in object-like arrays	2019-01-27 14:20:41 -05:00
Matthew Brown	be06393b9c	Fix #1251 - allow instanceof comparisons to class strings	2019-01-27 14:10:33 -05:00
Matthew Brown	16c2a0f899	Fix #1246 - check @var annotations	2019-01-26 17:30:44 -05:00
Matthew Brown	22ee72808a	Remove a bunch of hacks around generic offsets ... Also fixes #1245	2019-01-26 16:58:49 -05:00
Matthew Brown	fc8c96eccf	Split out @extends template test	2019-01-25 22:33:42 -05:00
Brown	fcc9d1a979	Fix #1244 and fix #1243 - add template-extends checks	2019-01-25 15:31:17 -05:00
Brown	55913699d3	Allow iterable to subsume array and traversable ... Fixes #1242	2019-01-25 14:43:16 -05:00
Matthew Brown	262ba9bdec	Added new LSP features.	2019-01-25 11:32:17 -05:00
Brown	c9e1df510e	Fix #1241 - allow negative string offsets on a string	2019-01-25 10:23:50 -05:00
Brown	bed1f15e09	Fix #1240 - reconcile array to iterable in template replacement	2019-01-25 10:17:41 -05:00
Brown	c0f3197790	Fix #1238 - only emit MissingTemplateParam on direct interface implementers	2019-01-25 10:10:22 -05:00
Brown	cd0a7441d9	Add warnings for extended template param counts off	2019-01-24 17:55:03 -05:00
Brown	650c2b70f8	Fix #1236 - forbid bad class names in @extends	2019-01-24 16:43:22 -05:00
Brown	5352084188	Fix #1234 - apply @template-extends to inherited method signatures	2019-01-24 16:09:04 -05:00
Brown	0d52dc4e00	Fix #1232 - allow checking of extended templated function returns	2019-01-24 15:03:13 -05:00
Brown	006801f661	Fix #1233 - inherit docblock return types from interfaces and classes when signature exists	2019-01-24 11:55:59 -05:00
Brown	67a14cefde	Still complain about less specific types when signature type is present ... Ref #1233	2019-01-24 10:58:59 -05:00
Brown	184ee76176	Remove erroneous regular namespace check ... Fixes #1235	2019-01-24 10:41:06 -05:00
Brown	fb28362fb9	Fix NoInterfaceProperties to allow referencedClass	2019-01-23 17:41:15 -05:00
Brown	8a97e32e16	Add code to make handling interfaces with magic get/set ... Ref #1228	2019-01-23 16:58:50 -05:00
Brown	60e9d4f245	Don’t give up after method_exists if static method exists	2019-01-23 15:50:12 -05:00
Brown	59baa53b3d	Fix #1229 - only check for inheritance if class exists	2019-01-23 13:02:07 -05:00
Matthew Brown	8bc17e47be	Fix #1227 - allow genric params in @psalm-assert	2019-01-22 23:42:54 -05:00
Brown	51c6621925	Add property lookup	2019-01-22 11:10:37 -05:00
Matthew Brown	537cd221d2	Fix missing var	2019-01-21 18:13:17 -05:00
Matthew Brown	1c5f6963a6	Skip callable tests for PHP 7	2019-01-21 18:01:15 -05:00
Matthew Brown	ea137fc20c	Don’t complain about mixed after unpacking arg	2019-01-21 17:42:25 -05:00
Matthew Brown	e0067e53c5	Fix param chosen to be expected	2019-01-21 17:35:55 -05:00
Matthew Brown	1b0c426c52	Improve error message when type cannot be inferred, fixes #1110	2019-01-21 17:29:12 -05:00
Matthew Brown	5cc3fe6b67	Fix #760 - coerce __invoke method to closure	2019-01-21 17:08:12 -05:00
Matthew Brown	99569e8ee3	Fix #1173 - transform const X = true to a true type	2019-01-21 16:55:50 -05:00
Matthew Brown	930a8b2689	Fix #1225 - ignore classes using patterns	2019-01-21 16:48:12 -05:00
Matthew Brown	075446e7df	Fix #1223 - MissingClosureParamType should use all known suppressed issues	2019-01-21 12:36:17 -05:00
Andrii Dembitskyi	9b6b79728e	Fixes #1222 - incorrect config value used for allowStringToStandInForClass ... Please make attention, that `allowCoercionFromStringToClassConst` are mentioned in docs, but not used now in config	2019-01-21 09:00:57 -05:00
Matthew Brown	279912cb55	Add documentation for @param-out	2019-01-20 12:50:47 -05:00
Matthew Brown	5eb0bb8126	Make foreach var annotation use more cautious	2019-01-20 11:49:13 -05:00
Matthew Brown	af19ca4bd5	Only worry if the alias is different to the intended one	2019-01-20 11:29:25 -05:00
Matthew Brown	03c5823051	Fix #1217 - allow protected property to be se by parent constructor	2019-01-20 11:20:39 -05:00
Matthew Brown	60088b1189	Fix #1215 - prevent bad code from crashing Psalm	2019-01-20 11:10:12 -05:00
Matthew Brown	6fe9e525df	Fix #1219 - allow generation of intersections inside class-string	2019-01-20 10:39:08 -05:00
Matthew Brown	681391f970	Fix #1220 - improve constant resolution	2019-01-20 09:52:26 -05:00
Matthew Brown	0ac7d106a3	Fix #1221 - no TypeDoesNotContainType in catch or finally	2019-01-20 09:27:46 -05:00
Matthew Brown	7fa05abb5a	Remove unused vars	2019-01-20 01:52:58 -05:00
Matthew Brown	7dfcefd35d	Support intersections on LHS of static calls	2019-01-19 23:25:23 -05:00
Matthew Brown	394d6509c6	Restrict class-string types to named objects (and intersections)	2019-01-19 22:46:06 -05:00
Matthew Brown	1c17d2e2f2	Extract template params from string/array callables cc @weirdan ... The culmination of what you were getting at	2019-01-19 20:18:45 -05:00
Matthew Brown	590bea305d	Fix #1218 - find issues with bad callables	2019-01-19 19:49:58 -05:00
Matthew Brown	e3df0ec5e2	Apply same rules that Hack uses for bottom types	2019-01-19 18:51:18 -05:00
Matthew Brown	1d2a0f8b39	Add more robust template constraint checks	2019-01-19 18:35:53 -05:00
Matthew Brown	ed68cb973d	Fix #1109 - add bad usort protection	2019-01-19 18:11:49 -05:00