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