// PureAttribute delegates can be used with conditional code. public void Good8(PureDelegate d, bool data) { ConditionalCall(d(data)); }
public void Test2(PureDelegate d, int x) { Contract.Requires(d(x)); }