17 Commits

Author	SHA1	Message	Date
Matthew Brown	6085e42fc1	Detect mismatching param names effectively	2020-08-10 09:58:43 -04:00
Brown	c0b0036109	Fix #3934 - prevent unsafe use of new static	2020-08-05 19:39:27 -04:00
Brown	afd8874a9e	Don’t get stuck in recursive loop ... Fixes #3912	2020-07-30 15:42:34 -04:00
Brown	873970a4d1	Recursively transform template types before comparison ... Fixes #3887	2020-07-24 14:47:24 -04:00
Brown	76bd5b6278	Refactor type comparison	2020-07-21 19:40:35 -04:00
Brown	0a8b9b56ab	Fix #3600 - conditional return should be removed before comparison	2020-06-17 12:57:50 -04:00
Brown	0b2da18f1e	Break up StatementsAnalyzer	2020-05-19 12:56:30 -04:00
Brown	8f2f2617d4	Improve refactor	2020-05-10 22:45:01 -04:00
Brown	5f4d162dd5	Break out type expander into separate class	2020-05-10 22:39:18 -04:00
Brown	0d8b56dc78	Fix return type coalescing for conditional return types	2020-05-01 13:04:48 -04:00
Brown	6024447ca0	Expand function-based template types before comparing against inherited ... Fixes #3276	2020-05-01 12:40:10 -04:00
Brown	067104e170	Fix #3084 - keep track of upper and lower bounds of inferred template types	2020-04-07 00:13:56 -04:00
Brown	4f07a8fc5d	Fix false positive in trait comparison in 7.4 ... Fixes #3042	2020-04-03 15:11:37 -04:00
Matthew Brown	194f02507d	Allow conditional types to reference class constants	2020-03-29 13:37:37 -04:00
Matthew Brown	f94ab22a5f	Be better about strict inference	2020-03-25 09:18:49 -04:00
Matthew Brown	99ca359f8b	Break apart large methods	2020-03-12 01:19:11 -04:00
Matthew Brown	96fbcd5a64	Break out more methods	2020-03-11 23:38:49 -04:00