Closed
Description
Similar to the existing checks for givens and thens. Also, there is no point enforcing a new instance if there are no mutable fields, so that check should be added.
{{ message }}
Similar to the existing checks for givens and thens. Also, there is no point enforcing a new instance if there are no mutable fields, so that check should be added.