The current version of the contract assembly for System.Core.dll misses contracts for most of the elements added in .NET 4: - most static methods in Expression (e.g. Expression.AddAssign or new overloads of Expression.Call) - Update methods in specific expression classes (e.g. BinaryExpression.Update) - methods and properties in new classes added in .NET 4 (e.g. GotoExpression)
The current version of the contract assembly for System.Core.dll misses contracts for most of the elements added in .NET 4: