@NotNull @Override public Collection<JetType> getSupertypes() { return errorTypeConstructor.getSupertypes(); }