Test cases are chosen so that addition/removal of explicit type will not interfere with the original purpose of the test