static public void Test(Virtual v)
{
// The warning here is ok, we do not know which instance is passed
Contract.Assert(v.GetConst() == 15);
}
static public void Test(Virtual v)
{
// The warning here is ok, we do not know which instance is passed
Contract.Assert(v.GetConst() == 15);
}