Hi, Regardless of anything else in the proposal, I strongly dislike its attempted subversion of `let` properties. struct A { let member = 1 // It’s done, over. If that’s not what you want, don’t initialize it here. } Cheers, Guillaume Lessard