Thanks!
It is working indeed.
Whatever the root cause of the problem is, it is not just the @State variables. Originally I ran into this issue when I was using either @ObservedObject or @StateObject and the boolean controlling the button state would be @Published in the corresponding class. I wrote the example posted here just to simplify the case and focus on the problem.