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.