元の会話リンクが見つけられなかったですが、そのような状況下ではletを使うべき数少ないパターンですねと会話されてた記憶があります（健全性条件って初めて聞きました。）