6283 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Brown	60613462fe	Improve static resolution a little more	2020-03-28 08:14:35 -04:00
Brown	5835c34a29	Expand out static extra types	2020-03-28 00:08:31 -04:00
Brown	e3ff856cac	Improve treatment of static in intersection	2020-03-27 19:17:44 -04:00
Brown	5cb1538448	Don’t add unnecessary taints	2020-03-27 19:09:15 -04:00
Brown	056f4aaac6	Fix #3027 - inherited properties should be templated properly	2020-03-27 18:31:48 -04:00
Brown	b57563c8cf	Renamed function to be a little better	2020-03-27 18:30:59 -04:00
Tyson Andre	e560858b23	Fix grammar nit in "is can never happen" message (#3025) ... Should either be "is impossible" or "can never happen"	2020-03-27 17:32:49 -04:00
Brown	4021114b04	Fix too-long line	2020-03-27 10:43:12 -04:00
Brown	ae31ec6805	Fix resolution of get_called_class	2020-03-27 09:51:53 -04:00
Brown	3253f57c94	Don’t rescan everything when finding unused code	2020-03-27 09:45:54 -04:00
Brown	05f8f30d8c	Use more specific type description	2020-03-27 09:45:18 -04:00
Brown	031c5be8e6	Check trait methods better	2020-03-27 00:37:33 -04:00
Brown	53612d0df6	Make --diff imply --diff-methods	2020-03-26 18:14:54 -04:00
Brown	75432536f7	Add slashes	2020-03-26 14:43:48 -04:00
Brown	f88c7c1ec5	Fix closure return type inference	2020-03-26 14:38:32 -04:00
Brown	820bd95d8b	Fix existing issue check	2020-03-26 14:25:11 -04:00
Brown	4ced26bec2	Fix #3024 - replay errors in --diff --diff-methods mode	2020-03-26 14:22:06 -04:00
Brown	971ae50bea	Do prep work for #3024 - improve handling of absent class references	2020-03-26 12:35:27 -04:00
Matthew Brown	68c95c622a	Save information about last runs whether or not there were errors	2020-03-26 00:46:39 -04:00
m0003r	71826ad69e	Fix #2994 (#3016) ... More carefully handling stream_select errors when system call is interrupted. It can be detected by parsing error message. If it is interrupted, just try again.	2020-03-25 21:25:33 -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	467da32f84	Fix instanceof static and isa (static::class) handling	2020-03-24 18:58:15 -04:00
iggyvolz	94b246b987	Initial commit (#3013)	2020-03-24 18:32:57 -04:00
Brown	a9b6c51748	Improve new $class to make it more static-y	2020-03-24 18:30:08 -04:00
Brown	1bfc61d402	Allow final classes to bypass static checks	2020-03-24 18:14:10 -04:00
Brown	ec34a16291	Warn about invalid static returns	2020-03-24 18:00:20 -04:00
Brown	f6759c3d16	Check return statement types for inherited docblocks	2020-03-24 17:59:48 -04:00
Brown	1e480ade12	Fix bugs	2020-03-24 14:49:05 -04:00
Brown	cae15b6c62	Use appropriate template types when applying array_filter asssertions ... Fixes #3008	2020-03-24 12:15:56 -04:00
Brown	25bd2ed5fb	Fix #3010 - prevent false-negative after calling isset on possibly-false array	2020-03-24 12:01:39 -04:00
Matthew Brown	010b805397	Fix issue description	2020-03-23 23:55:51 -04:00
Matthew Brown	e8fbba5de2	Improve words	2020-03-23 23:54:48 -04:00
Brown	a83651050c	Seal objectlike arrays inferred from constants	2020-03-23 16:28:20 -04:00
Brown	a7245b4459	Fix bugs	2020-03-23 13:29:00 -04:00
Matthew Brown	27a0651b6c	Fix #3009 - make sure return type is set when returning early	2020-03-23 13:25:55 -04:00
Matthew Brown	ce9eef9ed7	Improve returning	2020-03-23 13:25:55 -04:00
Brown	4c081f7835	Things with mixed values can be the same	2020-03-23 12:08:05 -04:00
Matthew Brown	eeed5ecccc	Only prevent AbstractMethodCall on direct calls ... Fixes #3007	2020-03-23 07:40:30 -04:00
Matthew Brown	2043e857ba	Increase header weight	2020-03-22 18:42:19 -04:00
Matthew Brown	6058725256	Add prototype for conditional return type	2020-03-22 10:44:48 -04:00
Matthew Brown	26694345d6	Fix unknown variable	2020-03-21 20:53:46 -04:00
Matthew Brown	6746f1c047	Fix #3004 - reset property types inside a closure defined in a class	2020-03-21 20:46:38 -04:00
Matthew Brown	c986cdf12e	Allow edge-case of by-reference assignment with unitiliazed property ... Fixes #3003	2020-03-21 19:23:32 -04:00
Niklas Keller	a7affbe716	Add \Error stub (#3002) ... Otherwise, errors are generated if \Error is extended: https://psalm.dev/r/8169465beb	2020-03-21 19:11:23 -04:00
Niklas Keller	dd9924ea26	Fix Generator::throw return type (#3001)	2020-03-21 19:08:47 -04:00
Matthew Brown	e5579332cd	Add explanation for MixedMethodCall	2020-03-21 17:33:37 -04:00
Matthew Brown	e6a0fe0973	Add a better description to PossiblyInvalidArgument	2020-03-21 15:33:40 -04:00
Markus Staab	4079b53b93	Fix typo (#2999)	2020-03-21 10:19:30 -04:00
Matthew Brown	e49a5dd55d	Add more docs	2020-03-21 10:13:11 -04:00