metals icon indicating copy to clipboard operation
metals copied to clipboard

Java warnings are not cleaned out by Bloop/Metals

Open spangaer opened this issue 2 years ago • 1 comments

Describe the bug

metals_v0 11 9_warning-bug

From bloop JSON. (using Javac linting.)

        "java": {
            "options": [
                "-source",
                "1.8",
                "-target",
                "1.8",
                "-encoding",
                "utf8",
                "-Xlint:all",
                "-Xdoclint:accessibility,html,syntax"
            ]
        }

Expected behavior

Once the issue has been cleared up the warning should dissappear

Operating system

Windows

Editor/Extension

VS Code

Version of Metals

v0.11.9

Extra context or search terms

Possibly related to #1683

spangaer avatar Dec 16 '22 12:12 spangaer

Thanks for reporting! I can reproduce that, looks like Bloop is not checking if warnings have been removed for Java files.

tgodzik avatar Dec 19 '22 15:12 tgodzik