37 Commits

Author	SHA1	Message	Date
bugreportuser	e31cfa503d	Allow reconciling superglobal types	2019-03-16 12:49:38 -04:00
Matthew Brown	a0659a02f1	Fix #1418 - support templated union types	2019-03-16 11:15:25 -04:00
Brown	119687f934	Fix redundant condition message when negating a docblock type	2019-02-27 14:02:02 -05:00
Matthew Brown	8650f9eb1a	Fix #1356 - improve assertion system to work better on function calls	2019-02-26 01:03:33 -05:00
Matthew Brown	cdae79b9fe	Fix unnecessary params in Psalm codebase	2019-02-23 11:31:33 -05:00
Matthew Brown	1c8a573b5f	Change TGenericParam to TTemplateParam	2019-02-21 21:40:06 -05:00
Matthew Brown	12f1ffca11	Fix issue reconciling mixed vars inside loop	2019-02-18 11:39:05 -05:00
Bruce Weirdan	8408effe57	Dropped unused uses	2019-02-17 13:17:45 -05:00
Matthew Brown	83e22a10f8	Fix #1299 - vars defined in catches before throw are possibly-defined for finally	2019-02-09 15:39:30 -05:00
Matthew Brown	c83afc1af2	Fix element type inference for DOMNodeList	2019-02-05 13:34:59 -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	db89b3cc3f	Add initial support for fixing MissingParamType	2019-02-02 11:28:48 -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	8bc17e47be	Fix #1227 - allow genric params in @psalm-assert	2019-01-22 23:42:54 -05:00
Matthew Brown	5eb0bb8126	Make foreach var annotation use more cautious	2019-01-20 11:49:13 -05:00
Matthew Brown	0ac7d106a3	Fix #1221 - no TypeDoesNotContainType in catch or finally	2019-01-20 09:27:46 -05:00
Matthew Brown	545c7e3cba	Fix #1211 - allow docblocks to override foreach type earlier	2019-01-19 11:31:51 -05:00
Matthew Brown	b6865b130b	Catch exception in more places	2019-01-08 09:57:14 -05:00
Matthew Brown	bcbede07ba	Fix issue with do analysis while loops	2019-01-07 01:15:30 -05:00
Matthew Brown	9c9e57cf6b	Fix #1153 - ignore redundant conditions in finally block	2019-01-06 12:39:18 -05:00
Matthew Brown	6f1d56a80f	Upcast iterables to traversables when used in a templated class string	2019-01-05 10:32:39 -05:00
Matthew Brown	9d8c2792e2	Add array-key type and improve general type handling ... Fixes #1144	2019-01-05 00:15:53 -05:00
Matthew Brown	2dc3d9651f	Separate iterable into its own type ... Fixes #1151	2019-01-04 14:54:40 -05:00
Brown	53749bd5c5	Do better at finding things that exit	2019-01-02 18:14:47 -05:00
Matthew Brown	13e14b3162	Remove code that was breaking things	2018-12-19 00:28:11 -05:00
Brown	ca1a615026	Don’t call reconciliation on empty vars	2018-12-17 15:23:56 -05:00
Matthew Brown	fd0ab47b80	Fix #1118 - detect possible issues with unions of mixed	2018-12-08 13:18:55 -05:00
Matthew Brown	b32000fa05	Fix #689 - add checks for @internal annotations	2018-12-01 18:37:49 -05:00
Brown	c378079db8	Make the length of possible string unions unlimited in conditionals ... Fixes #1103	2018-11-28 15:12:08 -05:00
Matthew Brown	a83387b187	Fall through after RawObjectIteration	2018-11-27 09:34:54 -05:00
Brown	3bcbd9d659	Don’t emit errors when iterating over array|iterator	2018-11-26 16:50:47 -05:00
Matthew Brown	9f79bdb86e	Allow iteration over iteratoraggregate directly	2018-11-21 18:35:41 -05:00
Matthew Brown	ef7298c62c	Improve treatment of getIterator calls ... Fixes #991	2018-11-21 17:56:04 -05:00
Matthew Brown	37dedee7b6	Fix memory leak issues and disable garbage collection	2018-11-18 11:39:14 -05:00
Brown	254a14f621	Allow assertion redundant conditions to be suppressed	2018-11-14 13:44:20 -05:00
Matthew Brown	4d79b61e93	Change _checker to _analyzer	2018-11-12 11:20:59 -05:00
Matthew Brown	4688b25fd9	Move internal classes to own namespace	2018-11-12 11:20:59 -05:00