Testing the inferred type of a variable

There are some hints in Testing that code does not compile

1 Like