Skip to content

Commit 2f12ccc

Browse files
committed
C#: Delete incorrect comment.
1 parent 9b53188 commit 2f12ccc

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

java/ql/src/utils/modelgenerator/internal/CaptureTypeBasedSummaryModels.qll

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,6 @@ private predicate isEffectivelyLowerBound(Type t, Type bound) {
4747

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

0 commit comments

Comments
 (0)