This is something I have been thinking too.

What is about the case of a button that is not disabled but has NoOp as message? Is this not against “making impossible state impossible”?