“ WHERE IN”语句是否优化重复值？

Question

如果我有如下查询：

SELECT * FROM `users` WHERE id IN (1, 2, 2);

mysql将如何处理呢？

我的假设是它将优化出重复的2值，而是将查询重做为：

SELECT * FROM `users` WHERE id IN (1, 2);

这正确吗？