3 Commits

Author	SHA1	Message	Date
Chris Smowton	419d530a06	Add test ensuring read steps via record patterns lead to type filtering	2023-11-30 11:24:05 +00:00
Chris Smowton	47e3d7d8a5	Cast back to Object in advance of returning, to ensure the test doesn't mask a shortcoming of type pruning by pruning at the return site	2023-11-30 11:24:05 +00:00
Chris Smowton	da62a04653	Note that binding variables may be casting nodes	2023-11-30 11:24:04 +00:00