@NotNull @Override public Annotations getAnnotations() { return errorTypeConstructor.getAnnotations(); }
@Override public String toString() { return constructor.toString(); }
@Nullable @Override public ClassifierDescriptor getDeclarationDescriptor() { return errorTypeConstructor.getDeclarationDescriptor(); }
@Override public boolean isDenotable() { return errorTypeConstructor.isDenotable(); }
@Override public boolean isFinal() { return errorTypeConstructor.isFinal(); }
@NotNull @Override public Collection<JetType> getSupertypes() { return errorTypeConstructor.getSupertypes(); }
@NotNull @Override public List<TypeParameterDescriptor> getParameters() { return errorTypeConstructor.getParameters(); }