2303 Commits

Author	SHA1	Message	Date
Brown	0d5d7c8938	Add null check	2020-05-11 11:56:07 -04:00
Brown	291018034b	Remove unnecessary PHP code	2020-05-11 11:36:50 -04:00
Brown	3554aa4435	Fix crash newly introduced	2020-05-11 09:34:07 -04:00
Brown	eefd2e743b	Use generic function definition for sscanf ... cc @villfa	2020-05-10 23:58:51 -04:00
Brown	8f2f2617d4	Improve refactor	2020-05-10 22:45:01 -04:00
Brown	5f4d162dd5	Break out type expander into separate class	2020-05-10 22:39:18 -04:00
sj-i	fa601f97d7	update proc_open() types for PHP 7.4 (#3333) ... as of PHP 7.4, proc_open() accepts an array for its first argument. https://www.php.net/manual/en/function.proc-open.php#refsect1-function.proc-open-parameters	2020-05-10 21:11:27 -04:00
Brown	48da7a4be8	Fix issues found with Vimeo’s code	2020-05-10 21:09:48 -04:00
Matthew Brown	733da0e539	Fix #3311 - don’t erroneously mark a class as undefined ... As they can sometimes only be obvious once an autoloader has been registered	2020-05-10 15:55:44 -04:00
Matthew Brown	4b388a2951	Fix ref	2020-05-10 11:35:35 -04:00
Brown	55222573ea	Mark as possibly-undefined any variable that wasn’t present when the loop began ... Fixes #3332	2020-05-10 11:17:50 -04:00
Brown	28349c6423	Remove mixin_fqcln hack	2020-05-10 09:04:30 -04:00
Brown	58c63bd1b2	Migrate generic param comparison method	2020-05-08 22:49:08 -04:00
Brown	75761647c2	Fix #3321 - allow interface methods to be mapped	2020-05-08 14:52:53 -04:00
Brown	640ffdb324	Fix #3323 - make short object-like arrays sealed tuples	2020-05-08 14:36:06 -04:00
Brown	2d5c2a9dd1	Fix #3324 - prevent crash asserting on possibly-undefined variable	2020-05-08 14:21:10 -04:00
Brown	65b4263315	Fix #3320 - add final flag to pseudo methods where appropriate	2020-05-08 07:28:12 -04:00
Brown	4295f9525f	Fix #3313 - add check for very specific pattern	2020-05-07 12:30:15 -04:00
Brad Kent	18ee440e3f	update mysqli_stmt::__construct signature (#3315)	2020-05-07 12:08:22 -04:00
Brown	20bcfb096a	Fix #3305 - use the same issue type for short closures as closures	2020-05-06 09:57:02 -04:00
Brown	a089d8bd58	Fix #3296 - propagate final flag to static calls in return types	2020-05-03 20:42:06 -04:00
Matthew Brown	dc64d4b1ca	Support evaluation of boolean conditionals in scanning stage ... Fixes #3290	2020-05-03 10:44:00 -04:00
Matthew Brown	23b0a18632	Fix property type	2020-05-03 10:22:52 -04:00
Matthew Brown	b69c37acdf	Simplify logic around evaluating expressions a little	2020-05-03 10:19:15 -04:00
Brown	d99fbc0d4d	Remove blank line	2020-05-03 00:26:50 -04:00
Brown	b8a1f5d5c9	Allow destructuring on arrayaccess implementers	2020-05-03 00:08:03 -04:00
Brown	bf5e178d16	Fix #3289 - treat property on non-generic type like actual value	2020-05-02 23:37:59 -04:00
Brown	618a54ff41	Fix #3240 - check arguments when class cannot be found	2020-05-02 22:13:59 -04:00
Brown	aceaf6c356	Fix #3217 - don’t override abstract return type with parent one	2020-05-02 21:57:53 -04:00
Brown	d3fba74f75	Fix false-positive	2020-05-02 21:56:28 -04:00
Brown	3e0c4cfb75	Fix #3210 - prevent possibly-null array access from destructure	2020-05-02 20:36:41 -04:00
Brown	132b5c9358	Fix #3263 - inherit magic properties when using @mixin	2020-05-02 19:57:38 -04:00
Brown	29741cd76d	Remove earlier now-unnecessary fix	2020-05-02 19:24:48 -04:00
Matthew Brown	da5e8a4324	Increase type coverage for projects that use assert after mixed	2020-05-02 14:55:30 -04:00
feek	c5319fc379	fix: mixin parameter of self should be properly resolved (#3280) ... Co-authored-by: Matthew Brown <github@muglug.com>	2020-05-02 14:32:43 -04:00
Brown	07e5250292	Fix #3273 - add support for func_num_args() in conditional type	2020-05-01 16:02:53 -04:00
Brown	0d8b56dc78	Fix return type coalescing for conditional return types	2020-05-01 13:04:48 -04:00
Brown	6024447ca0	Expand function-based template types before comparing against inherited ... Fixes #3276	2020-05-01 12:40:10 -04:00
Brown	5e76467378	Fix #3279 - make sure self/parent references in mixin use existing class	2020-05-01 11:23:02 -04:00
Brown	117a4d4d40	Require callable() have a return type when in conditional ... Fixes #3260	2020-04-30 23:35:13 -04:00
Brown	bb1c8a9d74	Don’t clobber intersection types after generic in union ... Fixes #3274	2020-04-30 23:15:16 -04:00
Brown	470bf807b7	Add better handling of expression termination	2020-04-30 22:23:37 -04:00
Brown	9e6797d297	Add protection from ComplicatedExpression	2020-04-30 22:23:07 -04:00
Brown	ce8fb459e9	Allow complex types in conditional is expressions ... Ref #3277	2020-04-30 22:02:37 -04:00
Brown	8ab5a0f504	Probably safe to un-negate a class string assertion without autoloader	2020-04-30 12:48:21 -04:00
Brown	21f4deed3b	Fix #3268 - infer generator return for closure	2020-04-29 16:52:37 -04:00
Brown	555f525038	Add type	2020-04-29 14:58:48 -04:00
Brown	891c66650b	Prevent unintersectable template lower bounds ... Ref #3264	2020-04-29 14:57:57 -04:00
Andrii Dembitskyi	d3fd9a6acf	Fix #3265 (#3267) ... We should add function body	2020-04-29 12:30:04 -04:00
Brown	e782329821	Add slashes	2020-04-28 23:42:53 -04:00