在阅读《JavaScript高级程序设计》时出现的一个问题

最近在阅读《JavaScript》高级程序设计，书中有句话让我有点懵：“在使用var声明时，由于声明会被提升，JavaScript引擎会自动将多余的声明在作用域顶部合并为一个声明。因为let的作用域是块，所以不可能检查前面是否已经使用let声明过同名变量，同时也就不可能在没有声明的情况下声明它。”
前半句话我能看明白，从“let的作用域是块”开始，后面的话把我绕进去了。什么叫做“不可能检查前面是否使用let声明过同名变量”？“在没有声明的情况下声明它”中的“它”指的是谁？这句话又是什么意思？这两句话之间有什么联系吗？
这句话出现在对let关键字的讲解中，书中的意思旨在表明不能使用let进行条件声明。

主要和let声明的变量起作用的范围是它当前所在的块级作用域有关。
这里是说var的变量提升，let作为它的对比，意思就是当前的let声明的变量无需在它之上或者之下查找是否存在相同的变量，也就不存在所谓的变量提升。
可以看一下：https://blog.csdn.net/sfyjknvcx/article/details/112439340
3.3.2 let 声明——>3. 条件声明

运用起来就像这样：

let x = 1;
if (x === 1) {
  let x = 2;
  console.log(x);
  // expected output: 2
}
console.log(x);
// expected output: 1