我正在遵循代码合约教程（https://learn.microsoft.com/en-us/dotnet/framework/debug-trace-profile/code-contracts#us...