diff --git a/src/Workspaces/Core/Portable/Utilities/EditDistance.cs b/src/Workspaces/Core/Portable/Utilities/EditDistance.cs index ef531dc6d9b15d96501b7238df5477a1fa7dadba..b284987b5ec416387f90771dd75485c1eceb5c9a 100644 --- a/src/Workspaces/Core/Portable/Utilities/EditDistance.cs +++ b/src/Workspaces/Core/Portable/Utilities/EditDistance.cs @@ -421,6 +421,11 @@ private static int GetValue(Dictionary da, char c) private static int Min(int v1, int v2, int v3, int v4) { + Debug.Assert(v1 >= 0); + Debug.Assert(v2 >= 0); + Debug.Assert(v3 >= 0); + Debug.Assert(v4 >= 0); + var min = v1; if (v2 < min) {