目前ReplaceAt存在设计缺陷，内部的自动计算没有被妥善控制

这是一个已经报给官方并被证实的bug。在核心语言里发现bug的情况（相对）不太多见，姑且开帖说一下。总之，大家可以试一下下面的代码：
ReplaceAt[Unevaluated@a[[0]], a -> {1}, 1]
(*Language`ReplacementsDump`replace*)