Test case to ensure inference error when element types mismatch

Test case to ensure inference error when element types mismatch #200