if (tal!=null) {
for (Tree.Type t: tal.getTypes()) {
if (t instanceof Tree.StaticType) {
TypeVariance variance = ((Tree.StaticType) t).getTypeVariance();
if (variance!=null) {
variance.addError("supertype expression may not specify variance");
}
}
}
}
}