},
new String[] {
new String(shownConstructor.declaringClass.sourceName()),
typesAsString(shownConstructor, true),
new String(shownConstructor.declaringClass.shortReadableName()),
new String(varargsElementType.shortReadableName())
},
sourceStart,
sourceEnd);
return;
case ProblemReasons.NoError : // 0