Se proporciona una función y dos objetos para verificar. ¿Por qué en un caso TypeScript no da error, y en otro sí? Explique la razón para cada línea con error.