private void Foo() { J message = new TypeMethodPurity(); Type t = message.GetType(); Contract.Assert(t != null); Contract.Assume(t == typeof(TypeMethodPurity)); Contract.Assume(typeof(J).IsAssignableFrom(typeof(TypeMethodPurity))); Contract.Assume(typeof(J).IsAssignableFrom(t)); }
private void Foo() { J message = new TypeMethodPurity(); Type t = message.GetType(); Contract.Assert(t != null); Contract.Assume(t == typeof(TypeMethodPurity)); Contract.Assume(typeof(J).IsAssignableFrom(typeof(TypeMethodPurity))); Contract.Assume(typeof(J).IsAssignableFrom(t)); }