3 Commits

Author	SHA1	Message	Date
Chris Smowton	c11a260369	Note we can't prove certain unreachable callables when 'case null' is present	2023-11-30 11:24:04 +00:00
Chris Smowton	6583c72c5d	Restrict pattern type guards to account for nested record matching failures	2023-11-30 11:24:03 +00:00
Chris Smowton	0bb051e08c	First stab at implementing negative type-test logic for pattern-case	2023-11-30 11:24:03 +00:00