void (@NotNull List<? extends PsiElement> elements, @NotNull Collection<? super LineMarkerInfo<?>> result) { for (PsiElement element : elements) { final PyElement skeleton = getUserSkeleton(element); if (skeleton != null) { PsiElement identifier = ((PsiNameIdentifierOwner)element).getNameIdentifier(); if (identifier != null) { result.add(new LineMarkerInfo<>(identifier, identifier.getTextRange(), ICON, __ -> "Has user skeleton", (__, elt) -> { final PyElement s = getUserSkeleton(elt.getParent()); if (s != null) { PsiNavigateUtil.navigate(s); } }, GutterIconRenderer.Alignment.RIGHT)); } } } }