C#: Add testcase for implicit set.

michaelnebel · michaelnebel · commit 20cb5daeb161 · 2022-09-14T11:06:23.000+02:00
diff --git a/csharp/ql/test/utils/model-generator/typebasedflow/TypeBasedSummaries.cs b/csharp/ql/test/utils/model-generator/typebasedflow/TypeBasedSummaries.cs
@@ -50,8 +50,8 @@ public class TypeBasedComplex<T> {
     public TypeBasedComplex<S> MapComplex<S>(Func<T, S> f) { throw null; }
 
     public TypeBasedComplex<T> Return(Func<T, TypeBasedComplex<T>> f) { throw null; }
-    // Examples still not working:
-    // public void Set(int x, Func<int, T> f) { throw null;}
+    
+    public void Set(int x, Func<int, T> f) { throw null;}
 }
 
 // It is assumed that this is a collection with elements of type T.

Original file line number	Diff line number	Diff line change
`@@ -50,8 +50,8 @@ public class TypeBasedComplex<T> {`
`50`	`50`	`public TypeBasedComplex<S> MapComplex<S>(Func<T, S> f) { throw null; }`
`51`	`51`
`52`	`52`	`public TypeBasedComplex<T> Return(Func<T, TypeBasedComplex<T>> f) { throw null; }`
`53`		`- // Examples still not working:`
`54`		`- // public void Set(int x, Func<int, T> f) { throw null;}`
	`53`	`+`
	`54`	`+ public void Set(int x, Func<int, T> f) { throw null;}`
`55`	`55`	`}`
`56`	`56`
`57`	`57`	`// It is assumed that this is a collection with elements of type T.`