1332 Commits

Author	SHA1	Message	Date
Matthew Brown	ab22634d23	Fix #1274 - fix parent:: call to templated method	2019-02-04 00:52:31 -05:00
Matthew Brown	f06ed8bf84	Fix #1273 - don’t change type with unpacked var	2019-02-03 16:36:10 -05:00
Matthew Brown	e97d4f85ee	Break large CallAnalyzer funtions apart	2019-02-03 16:21:37 -05:00
Matthew Brown	194bb31221	Fix #204 - allow missing param types to be added with Psalter	2019-02-02 14:16:49 -05:00
Matthew Brown	3a01afbe0a	Refine inferred type when possible	2019-02-02 12:10:52 -05:00
Matthew Brown	db89b3cc3f	Add initial support for fixing MissingParamType	2019-02-02 11:28:48 -05:00
Brown	8b65acf15b	Make return type mismatch more clear	2019-02-01 10:55:28 -05:00
Matthew Brown	509709d6bc	Fix #1267 - flesh out self static property types	2019-02-01 08:59:01 -05:00
Matthew Brown	79544eb289	Fix comment analysis for callable(): returntype	2019-02-01 07:50:48 -05:00
Tyson Andre	53756e7017	Remove redundant catching and rethrowing ... I assume these used to have additional logging, but they're no-ops.	2019-01-31 21:18:00 -05:00
Brown	3f289731bb	Add ability to check descendants in ignored exceptions	2019-01-31 18:40:40 -05:00
Brown	c5a0a3df86	Fix yielding from iterable	2019-01-31 17:58:53 -05:00
Brown	fd88f00526	Fix a few small bugs	2019-01-31 17:48:48 -05:00
Brown	74ebb0b2d5	Don’t copy context unnecessarily when checking methods had no effect	2019-01-31 12:55:48 -05:00
Brown	2054e3753f	Fix #1260 - improve handling of ArrayAccess assignment	2019-01-31 12:45:47 -05:00
Brown	c195e8fd21	Add more nuanced analysis of array access fetch	2019-01-30 15:40:37 -05:00
Brown	e060ec35de	Fix #1258 - allow static method returns	2019-01-30 11:44:12 -05:00
Brown	661c7ee707	Fix #1256 - detect illegal closure use	2019-01-30 11:36:21 -05:00
Matthew Brown	bfb2a5c19e	Fix #1257 - transform docblock types for magic methods to something more meaningful	2019-01-30 09:46:23 -05:00
Brown	9edbae2bdc	Fix possible fatal when builtin function is called in array_filter	2019-01-28 17:54:50 -05:00
Brown	a801923502	Add support for SplQueue templating	2019-01-28 12:27:04 -05:00
Brown	f33415827e	Add checks for rounded values	2019-01-28 11:57:49 -05:00
Matthew Brown	45058ea494	Fix possible crash when class-string class doesn’t exist	2019-01-28 01:12:41 -05:00
Matthew Brown	09ee6e3d13	Fix #1253 - prevent ints from coercing to literal floats	2019-01-27 23:21:54 -05:00
Matthew Brown	081ba4b204	Fix #1072 - add support for @use SomeTrait<T>	2019-01-27 23:12:40 -05:00
Matthew Brown	f67bab6d52	Restrict template-extends to actual extends	2019-01-27 21:00:27 -05:00
Matthew Brown	cd4d2027d0	Fix #1249 - allow iterator_to_array to respect getIterator method	2019-01-27 14:50:05 -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
Brown	fcc9d1a979	Fix #1244 and fix #1243 - add template-extends checks	2019-01-25 15:31:17 -05:00
Brown	c9e1df510e	Fix #1241 - allow negative string offsets on a string	2019-01-25 10:23:50 -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	67a14cefde	Still complain about less specific types when signature type is present ... Ref #1233	2019-01-24 10:58:59 -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	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	99569e8ee3	Fix #1173 - transform const X = true to a true type	2019-01-21 16:55:50 -05:00
Matthew Brown	075446e7df	Fix #1223 - MissingClosureParamType should use all known suppressed issues	2019-01-21 12:36:17 -05:00
Matthew Brown	5eb0bb8126	Make foreach var annotation use more cautious	2019-01-20 11:49:13 -05:00