26 Commits

Author	SHA1	Message	Date
Matthew Brown	cd969c51e5	Generate missing param types from callers ... Fixes #1707	2019-05-31 01:47:35 -04:00
Brown	0e6d07c4e9	Add ancillary var types	2019-05-28 11:58:15 -04:00
Tyson Andre	fc83f1c3ea	Fix typo: "Arithmentic" -> "Arithmetic"	2019-03-24 23:00:51 -04:00
Matthew Brown	ee56419fd6	Improve accuracy and durability of mixed counts	2019-03-23 09:50:47 -04:00
Brown	85f34f2aca	Add defining class and increas string length	2019-03-12 12:58:04 -04:00
Matthew Brown	1c8a573b5f	Change TGenericParam to TTemplateParam	2019-02-21 21:40:06 -05:00
Bruce Weirdan	8408effe57	Dropped unused uses	2019-02-17 13:17:45 -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	2054e3753f	Fix #1260 - improve handling of ArrayAccess assignment	2019-01-31 12:45:47 -05:00
Matthew Brown	8bc17e47be	Fix #1227 - allow genric params in @psalm-assert	2019-01-22 23:42:54 -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	7e0928d775	Fix #833 - warn on some invalid operands	2019-01-13 10:15:15 -05:00
Matthew Brown	dfba6e0dec	Fix #1181 - prevent allowed memory errors with large conditionals	2019-01-08 09:19:33 -05:00
Matthew Brown	9d8c2792e2	Add array-key type and improve general type handling ... Fixes #1144	2019-01-05 00:15:53 -05:00
Brown	ca1a615026	Don’t call reconciliation on empty vars	2018-12-17 15:23:56 -05:00
Brown	970ea48b25	Fix checks around array empty checks	2018-12-11 13:50:26 -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	e7b63a86a6	Differentiate between types merged in a write context vs types merged in return	2018-11-28 10:41:49 -05:00
Matthew Brown	59b9b5d65b	Move more classes into Internal namespace	2018-11-18 12:41:47 -05:00
Brown	425b6321aa	Add better understanding of when floats and ints can be equal	2018-11-16 11:04:45 -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