private static void Test1(System.Xml.Linq.XDocument doc, System.Type type) { Contract.Requires(type != null); Contract.Assert(doc.Annotations(type) != null); }