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