scala – 例外和参考透明度

给出的例子是

def failingFn(i: Int): Int = {
  val y: Int = throw new Exception("fail!")
  try {
    val x = 42 + 5
    x + y
  }
  catch { case e: Exception => 43 }
}

因此,本书中给出的论点是y不是引用透明的,因为如果我们将它替换为try块中的body,我们会得到与直接运行函数不同的结果.这对我没有任何意义,因为整个函数从一开始就是非终止的,那么说函数体中的值是不是在引用上是透明的呢？我心中的天真替代如下

def failingFn(i: Int): Int = {
  val y: Int = throw new Exception("fail!")
  try {
    val x = 42 + 5
    x + ((throw new Exception("fail!")): Int)
  }
  catch { case e: Exception => 43 }
}

并且仍然以相同的异常失败.

此外,y本身是一个非值(它不能直接被评估为一个值),那么谈论这些表达式的引用透明度有什么意义呢？我怀疑这里有什么样的手法,所以我的推理到底是不正确的？