The square root function might signal an error in that case. So you would be right in that in a static language, you would not have that as a test case because

The square root function might signal an error in that case. So you would be right in that in a static language, you would not have that as a test case because the test case would not compile. Such a test case would belong in the compiler test suite.