List<Location> (@NotNull final ReferenceType type, @NotNull SourcePosition position) { VirtualFile file = position.getFile().getVirtualFile(); if (file != null) { LineNumbersMapping mapping = file.getUserData(LineNumbersMapping.LINE_NUMBERS_MAPPING_KEY); if (mapping != null) { int line = mapping.sourceToBytecode(position.getLine() + 1); if (line > -1) { position = SourcePosition.createFromLine(position.getFile(), line - 1); } } } final SourcePosition finalPosition = position; return iterate(positionManager -> positionManager.locationsOfLine(type, finalPosition), Collections.emptyList(), position); }