diff --git a/java/ql/src/semmle/code/java/Generics.qll b/java/ql/src/semmle/code/java/Generics.qll index ab76b651dc0..52d3b696680 100755 --- a/java/ql/src/semmle/code/java/Generics.qll +++ b/java/ql/src/semmle/code/java/Generics.qll @@ -194,7 +194,10 @@ class TypeVariable extends BoundedType, @typevariable { * and the second wildcard has a lower bound of `Float`. */ class Wildcard extends BoundedType, @wildcard { - /** Holds if this wildcard has an upper bound. */ + /** + * Holds if this wildcard is either unconstrained (i.e. `?`) or + * has an upper bound. + */ predicate hasUpperBound() { wildcards(this, _, 1) } /** Holds if this wildcard has a lower bound. */