Hatun and Godwin question Surah 4:157 in a detailed and well-explained discussion of the Qur’an.
And [for] their saying, “Indeed, we have killed the Messiah, Jesus, the son of Mary, the messenger of Allah.” And they did not kill him, nor did they crucify him; but [another] was made to resemble him to them. And indeed, those who differ over it are in doubt about it. They have no knowledge of it except the following of assumption. And they did not kill him, for certain. (Sahih International)