63 Commits

Author	SHA1	Message	Date
Matthew Brown	7532e32b9d	Fixed spacing and use statement formatting	2017-05-19 00:48:26 -04:00
Matthew Brown	b20ddfec94	Add better way of checking two types can ever yield identical values	2017-04-07 09:02:09 -04:00
Matt Brown	8a20aca4cf	Only compare non-null types	2017-04-06 18:11:09 -04:00
Matt Brown	da19b55db1	Add special TypeDoesNotContainNull issue as distinct from TypeDoesNotContainType	2017-04-06 15:36:22 -04:00
Matt Brown	cb3f6b14ba	Fix AssertionFinder to trap the right null type	2017-04-06 15:05:23 -04:00
Matt Brown	e02999f2ba	Prevent undefined property notices	2017-04-06 14:57:00 -04:00
Matt Brown	14bb967c7d	Warn when doing === comparisons on incompatible types	2017-04-06 14:53:45 -04:00
Matthew Brown	9137727993	Fix #99 - treat null coalesce more respectfully	2017-02-17 20:50:47 -05:00
Matthew Brown	ce93c4ef2d	Assert smart things when offset is variable	2017-01-31 01:35:44 -05:00
Matthew Brown	965a79251d	Fix #82 by updating how isset calls are handled	2017-01-31 00:34:06 -05:00
Matt Brown	dae7718ae8	Support array_combine types and introduce a MoreSpecificReturnType issue	2017-01-17 11:17:49 -05:00
Matthew Brown	3cdb1753d5	Update to the more accurate TypeChecker::isContainedBy	2017-01-16 20:00:51 -05:00
Matthew Brown	694da2cabd	Simplify a lot of APIs	2017-01-07 14:35:07 -05:00