1537 Commits

Author	SHA1	Message	Date
Matthew Brown	ea137fc20c	Don’t complain about mixed after unpacking arg	2019-01-21 17:42:25 -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
Matthew Brown	5eb0bb8126	Make foreach var annotation use more cautious	2019-01-20 11:49:13 -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	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
Matthew Brown	e28bf1a29b	Fix null ref	2019-01-19 16:01:43 -05:00
Matthew Brown	9c5ef33997	Allow @property to override parent class property type ... Fixes #1214	2019-01-19 14:26:27 -05:00
Matthew Brown	ee2b06ac43	Add initial support for @param-out	2019-01-19 13:32:43 -05:00
Matthew Brown	4f3d7fca0d	Fix issue where @inheritdoc could override local param types	2019-01-19 12:42:46 -05:00
Matthew Brown	bf13ff2e7d	Detect bad interface types	2019-01-19 12:19:51 -05:00
Matthew Brown	9bd5f06c7d	Allow inheritdoc to propogate param types	2019-01-19 12:19:07 -05:00
Matthew Brown	545c7e3cba	Fix #1211 - allow docblocks to override foreach type earlier	2019-01-19 11:31:51 -05:00
Matthew Brown	94af3b6c51	Add automatic inheritance to properties ... Fixes #1210	2019-01-19 10:09:26 -05:00
Matthew Brown	eddaaea01b	Add support for static @method annotations	2019-01-18 11:37:52 -05:00
Matthew Brown	22ec7e537c	Fix #1208 - respect inheritance when combining in boolean operation ... Also fixes issue reconciling inside trait	2019-01-18 10:08:16 -05:00
Matthew Brown	4ec7903e8b	Fix #390 - add support for object{foo:int, bar:string} annotation	2019-01-18 00:56:24 -05:00
Brown	d068f1535d	Fix issue with implemented class interface in subclass	2019-01-16 15:08:11 -05:00
Brown	1ac51fcea6	Allow binding params of extended templates ... Fixes #1207	2019-01-16 12:07:30 -05:00
Brown	ee366015f7	Fix #1205 - allow traits to override inheritance checks	2019-01-16 10:59:06 -05:00
Matthew Brown	ee97c9dbaf	Add support for T of Foo	2019-01-16 09:23:25 -05:00
Matthew Brown	c43734f3ab	Don’t localise PropertyNotSetInConstructor issues	2019-01-15 21:34:18 -05:00
Brown	8d61cb4816	Fix #1200 - no fatal error in array_map when not checking functions	2019-01-15 17:53:23 -05:00
Brown	f5a81249e0	Fix #1202 - don’t allow undefined constants in enums	2019-01-15 11:31:13 -05:00
Brown	496bd97714	Make sure we’re not flipping the wrong constraint	2019-01-14 16:07:57 -05:00
Brown	ee004a91ac	Fix #1068 by restricting template types to passed called closure returns	2019-01-14 15:50:25 -05:00
Matthew Brown	3ca5ec9281	Fix templated class conversion allowing child class	2019-01-13 14:40:21 -05:00
Matthew Brown	2c55e7aabb	Support template-typeof in class again	2019-01-13 14:29:04 -05:00
Matthew Brown	94aa51ba6d	abstract trait method return type override should not be MethodSignatureMistmatch	2019-01-13 13:27:07 -05:00
Matthew Brown	0cca0d76cb	Fix #813 - allow constant array to be refined with isset	2019-01-13 11:54:39 -05:00
Matthew Brown	6d462fcb64	Fix #909 - support private trait aliasing	2019-01-13 10:19:27 -05:00
Matthew Brown	7e0928d775	Fix #833 - warn on some invalid operands	2019-01-13 10:15:15 -05:00
Matthew Brown	e9b7c9e08b	Fix #1129 - mock class method arguments should be evaluated	2019-01-13 09:49:34 -05:00
Matthew Brown	9ef1ce1535	Make @template-extends more robust	2019-01-12 18:18:23 -05:00
Matthew Brown	a7005014c2	Fix #987 - namespace asserted classes	2019-01-12 11:40:19 -05:00
Matthew Brown	b43a6a31f1	Enable casing plugin and fix issues it found	2019-01-12 10:52:23 -05:00
Matthew Brown	a49b5af3e9	Refactor the method call analyzer a little	2019-01-12 09:13:54 -05:00