There's absolutely no guarantee that two calls to y result in the same value. Even if y isn't mutating itself, it may be calling from a database updated from a

There's absolutely no guarantee that two calls to y result in the same value. Even if y isn't mutating itself, it may be calling from a database updated from another thread. You end up storing the value. The walrus simplifies the code.