void (@NotNull Facet facet) { FacetPointersManager manager = FacetPointersManager.getInstance(myProject); if (manager instanceof FacetPointersManagerImpl managerImpl) { managerImpl.refreshPointers(); } }