return 5;
}
- /*TODO: Fix GUID when we support generated class GUIDs*/
- if (typeof(TestParent).GUID != Guid.Empty)
+ /*TODO: Reject Guid.Empty when we support generated class GUIDs*/
+ if (typeof(TestParent).GUID != Guid.Empty &&
+ typeof(TestParent).GUID != new Guid("7dcc27e3-e226-35ca-a942-2286b21f2525"))
{
Console.Error.WriteLine("Unexpected typeof(TestParent).GUID: {0}", typeof(TestParent).GUID);
return 6;
}
- if (typeof(int).GUID != Guid.Empty)
+ /*TODO: Reject Guid.Empty when we support generated class GUIDs*/
+ if (typeof(int).GUID != Guid.Empty &&
+ typeof(int).GUID != new Guid("a310fadd-7c33-377c-9d6b-599b0317d7f2"))
{
Console.Error.WriteLine("Unexpected typeof(int).GUID: {0}", typeof(int).GUID);
return 7;