SE-0280: Enum cases as protocol witnesses

I might be wrong, asking this question out of curiosity. Would static var { get set } match case if we'd allow enum cases with associated value to mutate their payload in-place? I remember this interesting case that would require such mutation to be the optimal solution.