Destructuring Declarations with getter and setter

Your example isn’t lazy though. You could just replace lazy {...}.value with run in that case.