Branches should be ignored when

[stephanlachnit]

Describe the bug

Code branches are checked even though they should never be executed since there is a subdir_done() call before. This is better understood with the reproducer below

To Reproduce

A simple meson project with a build option build_gui that is a combo with none, qt5 and qt6. If build_gui is none, then the subdir is skipped. Otherwise, this option is used to import the corresponding Qt module. See screenshot.

The LSP gives a warning about Unkown module 'none', which obviously can't be true since that case is excluded.

Expected behavior

The LSP should recognize that the branch with none as options is never executed in the file.

Screenshots/Screencasts

System info

• OS: Linux (Flatpak)
• Editor: Zed v0.167.2 via Flathub with zed-meson v0.2.0
• Version: latest GitHub release (v4.3.7)

[JCWasmx86]

I have to be honest, but I think the analysis code is at the moment not even remotely as far as that. It would probably require rewriting the entire analysis.

[stephanlachnit]

Is it possible to ignore warnings from a line? I.e.

qt = import(qt_version) # mesonlsp: ignore