@Override
  protected void setMirror(@NotNull TreeElement element) throws InvalidMirrorException {
    setMirrorCheckingType(element, getStub().getStubType());
  }
@Override
  protected void setMirror(@NotNull TreeElement element)