// Util.isReified() using instanceof against the bounds
result = typeTester.isReified(varName.makeIdent(), testedType);
Iterator<ProducedType> iterator = reifiableUpperBounds((TypeParameter)declaration, expressionType).iterator();
while (iterator.hasNext()) {
ProducedType type = iterator.next();
ClassOrInterface c = ((ClassOrInterface)type.resolveAliases().getDeclaration());
result = typeTester.andOr(
typeTester.isInstanceof(iterator.hasNext() ? varName.makeIdent() : varExpr, c.getType()),
result, JCTree.AND);
}
return result;