C#: Code Contracts vs. normal parameter validation December 28, 2023 by Tarik In order to get rid of warnings you can use Contract.Assume