added test for invalid use of integer-float coercion where it breaks existing type constraints