Adjust the co-variant claim comment.

michaelnebel · aschackmull · michaelnebel · commit 9d34ce9776c4 · 2022-11-10T13:57:44.000+01:00
Co-authored-by: Anders Schack-Mulligen &lt;aschackmull@users.noreply.github.com&gt;
diff --git a/java/ql/src/utils/modelgenerator/internal/CaptureTypeBasedSummaryModels.qll b/java/ql/src/utils/modelgenerator/internal/CaptureTypeBasedSummaryModels.qll
@@ -162,7 +162,7 @@ private class Function extends ParameterizedType {
 
   /**
    * Gets the parameter type of `this` function at position `position`.
-   * Note that functions are contravariant in their parameter types.
+   * Note that functions are often contravariant in their parameter types.
    */
   Type getParameterType(int position) {
     exists(Type t |
@@ -173,7 +173,7 @@ private class Function extends ParameterizedType {
 
   /**
    * Gets the return type of `this` function.
-   * Note that functions are covariant in their return type.
+   * Note that functions are often covariant in their return type.
    */
   Type getReturnType() {
     exists(Type t |
