Add a test for a casting case