Updated (failing) type mismatch test