From 0a4f0bd30981d76e7f013ea44e7e550b971f0a09 Mon Sep 17 00:00:00 2001 From: Fernandez Ludovic Date: Thu, 5 Sep 2024 00:25:50 +0200 Subject: [PATCH] docs: add additionnal info about typecheck --- docs/src/docs/welcome/faq.mdx | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/docs/src/docs/welcome/faq.mdx b/docs/src/docs/welcome/faq.mdx index 1f62aa96fb77..48a70a1f96d5 100644 --- a/docs/src/docs/welcome/faq.mdx +++ b/docs/src/docs/welcome/faq.mdx @@ -45,7 +45,19 @@ How to troubleshoot: - [ ] Ensure you are not running an analysis on code that depends on files/packages outside the scope of the analyzed elements. - [ ] If using CGO, ensure all require system libraries are installed. -## Why running with `--fast` is slow on the first run +## Why is it not possible to skip/ignore `typecheck` errors? + +For mainly the same reasons that you cannot compile when you have a compiler error. + +`typecheck` errors are reported in the same style as linter reports/issues, +but are completely different because they are related to problems that block the analysis (`typecheck` is not a linter). + +When there are `typecheck` errors, +most linters are not able to perform the analysis, +and they simply do not produce any reports, +so it's not possible to skip/ignore `typecheck` errors. + +## Why running with `--fast` is slow on the first run? Because the first run caches type information. All subsequent runs will be fast. Usually this options is used during development on local machine and compilation was already performed.