No, its not. But the general idea is, I think: If the composition of correct code can lead to incorrect behavior and the language that handles this composition

No, its not. But the general idea is, I think: If the composition of correct code can lead to incorrect behavior and the language that handles this composition does not allow to correct the error (and explicitly supports the composition), then that language is somehow lacking.