This tests that matching against a built-in type with a value which is not the same type does not error due to a type mismatch.