Tree.TypeSpecifier ts = that.getTypeSpecifier();
if (ts!=null) {
Tree.StaticType type = ts.getType();
if (type!=null) {
ProducedType dta = type.getTypeModel();
if (dta!=null && dta.containsDeclaration(tpd.getDeclaration())) {
type.addError("default type argument involves parameterized type");
}
/*else if (t.containsTypeParameters()) {
type.addError("default type argument involves type parameters: " +
t.getProducedTypeName());