HF RL Explorer

Problems with typecheck pseudo-linter

Problems with typecheck pseudo-linter: a task in LegoFlow-SWE (Harbor dataset). Observed behavior: In configuration, users can list typecheck in the disabled linters section or pass --disable typecheck . This suggests that it can be turned off, but it's actually a fundamental compilation check…

The task

**Observed behavior:** In configuration, users can list `typecheck` in the `disabled` linters section or pass `--disable typecheck`. This suggests that it can be turned off, but it's actually a fundamental compilation check that cannot be disabled. This leads to confusion, especially when combined with `--disable-all`.

Part of Lego-X/LegoFlow-SWE.