C#: Delete incorrect comment.

2025-12-20 18:56:32 +01:00 · 2022-11-10 13:59:50 +01:00
parent 9b5318876d
commit 2f12ccc803
1 changed files with 0 additions and 1 deletions
--- a/java/ql/src/utils/modelgenerator/internal/CaptureTypeBasedSummaryModels.qll
+++ b/java/ql/src/utils/modelgenerator/internal/CaptureTypeBasedSummaryModels.qll
@@ -47,7 +47,6 @@ private predicate isEffectivelyLowerBound(Type t, Type bound) {

 /**
 * Holds if `t` is a container like type of `tv` (eg. `List<T>`).
- * Note that collections are covariant in their element type.
 */
 private predicate genericContainerType(RefType t, TypeVariable tv) {
  exists(Type et |