`BindingRestrictions.GetInstanceRestriction` is contracted [here](https://github.com/Microsoft/CodeContracts/blob/b2021fb80abd1dbddd0ff5f2bb146ebe2acb5f9d/Microsoft.Research/Contracts/System.Core.Contracts/System.Dynamic.BindingRestrictions.cs#L86) to require `instance != null`, but there is no such restriction [in the Reference Source](http://referencesource.microsoft.com/#System.Core/Microsoft/Scripting/Actions/BindingRestrictions.cs,100) or [documented on MSDN](https://msdn.microsoft.com/en-us/library/system.dynamic.bindingrestrictions.getinstancerestriction%28v=vs.110%29.aspx).
BindingRestrictions.GetInstanceRestrictionis contracted here to requireinstance != null, but there is no such restriction in the Reference Source or documented on MSDN.