withAnimation(_:completionCriteria:_:completion:) | Apple Developer Documentation

Returns the result of recomputing the view’s body with the provided animation, and runs the completion when all animations are complete.