public void PositivePublicPropertyUsingVirtualProperty() { SubtypeOfUsingVirtualProperty d = new SubtypeOfUsingVirtualProperty(); // This will fail if the inherited precondition is checked by calling //get_P with a non-virtual call. d.foo(3); }
public void PositivePublicPropertyUsingVirtualProperty() { SubtypeOfUsingVirtualProperty d = new SubtypeOfUsingVirtualProperty(); // This will fail if the inherited precondition is checked by calling //get_P with a non-virtual call. d.foo(3); }