Uncommenting either line in the attached mismatch.nss will correctly trigger a type mismatch error upon compiling.
However the error is otherwise ignored when the file is parsed and eventually skipped, as it's the case for include files.
mismatch.zip
Uncommenting either line in the attached mismatch.nss will correctly trigger a type mismatch error upon compiling. However the error is otherwise ignored when the file is parsed and eventually skipped, as it's the case for include files. mismatch.zip