C#: Disable uniqueness constraint from explicitly_implements

hvitved · hvitved · commit 01e766c745f1 · 2020-09-10T14:05:37.000+02:00
The documentation on `ExplicitInterfaceImplementations` says "Properties
imported from metadata can explicitly implement more than one property", so
the constraint appears to be invalid.
diff --git a/csharp/ql/src/semmlecode.csharp.dbscheme b/csharp/ql/src/semmlecode.csharp.dbscheme
@@ -692,7 +692,7 @@ overrides(
   int base_id: @callable ref);
 
 explicitly_implements(
-  unique int id: @member ref,
+  int id: @member ref,
   int interface_id: @interface_or_ref ref);
 
 local_functions(
