feat(canon): more typechecker (#92)

* feat(canon): more typechecker

* fmt

* wip

* wip

* wip

* update oxc

Author: ubugeeei

Cargo.lock

@@ -47,16 +47,16 @@ vize_canon = { path = "crates/vize_canon", version = "0.19.0", default-features
 vize_fresco = { path = "crates/vize_fresco", version = "0.19.0", default-features = false }
 
 # OXC dependencies (git for local dev, version for crates.io publish)
-oxc_parser = { version = "0.114.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
-oxc_ast = { version = "0.114.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
-oxc_ast_visit = { version = "0.114.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
-oxc_span = { version = "0.114.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
-oxc_allocator = { version = "0.114.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
-oxc_syntax = { version = "0.114.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
-oxc_diagnostics = { version = "0.114.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
-oxc_semantic = { version = "0.114.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
-oxc_transformer = { version = "0.114.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
-oxc_codegen = { version = "0.114.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
+oxc_parser = { version = "0.116.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
+oxc_ast = { version = "0.116.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
+oxc_ast_visit = { version = "0.116.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
+oxc_span = { version = "0.116.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
+oxc_allocator = { version = "0.116.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
+oxc_syntax = { version = "0.116.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
+oxc_diagnostics = { version = "0.116.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
+oxc_semantic = { version = "0.116.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
+oxc_transformer = { version = "0.116.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
+oxc_codegen = { version = "0.116.0", git = "https://github.com/oxc-project/oxc", branch = "main" }
 # oxc_formatter is not yet on crates.io, so vize_glyph is excluded from crates.io publish
 oxc_formatter = { git = "https://github.com/oxc-project/oxc", branch = "main" }
 

Cargo.toml

@@ -62,6 +62,20 @@ pub(crate) fn map_diagnostic_position(
     (vts_line + 1, vts_character + 1)
 }
 
+/// Check if a virtual TS position has a source mapping to user code.
+/// Returns false for positions in generated code (compiler macros, type helpers, etc.)
+pub(crate) fn has_source_mapping(
+    virtual_ts: &str,
+    source_map: &[vize_canon::virtual_ts::VizeMapping],
+    vts_line: u32,
+    vts_character: u32,
+) -> bool {
+    let vts_offset = line_col_to_offset(virtual_ts, vts_line, vts_character);
+    source_map
+        .iter()
+        .any(|m| vts_offset >= m.gen_range.start && vts_offset < m.gen_range.end)
+}
+
 /// Convert line/column (0-based) to byte offset in content.
 fn line_col_to_offset(content: &str, line: u32, col: u32) -> usize {
     let mut current_line = 0u32;

crates/vize/src/commands/check/reporting.rs

@@ -189,7 +189,7 @@ pub(crate) fn run_direct(args: &CheckArgs) {
     use vize_carton::Bump;
     use vize_croquis::{Analyzer, AnalyzerOptions, ImportStatementInfo, ReExportInfo, TypeExport};
 
-    use super::reporting::map_diagnostic_position;
+    use super::reporting::{has_source_mapping, map_diagnostic_position};
 
     let start = Instant::now();
 
@@ -599,7 +599,26 @@ pub(crate) fn run_direct(args: &CheckArgs) {
                             // Module resolution: fundamental limitation of single-file mode.
                             // tsgo cannot resolve .vue imports, path aliases, or npm packages
                             // without a full project context. This is NOT a virtual TS bug.
-                            if matches!(code_num, Some(2307) | Some(2666)) {
+                            if matches!(
+                                code_num,
+                                Some(2307)
+                                    | Some(2666)
+                                    | Some(6133)
+                                    | Some(7006)
+                                    | Some(7043)
+                                    | Some(7044)
+                            ) {
+                                continue;
+                            }
+
+                            // Filter diagnostics in generated code (compiler macros, type helpers).
+                            // Only report errors that map back to user source code.
+                            if !has_source_mapping(
+                                &g.virtual_ts,
+                                &g.source_map,
+                                diag.range.start.line,
+                                diag.range.start.character,
+                            ) {
                                 continue;
                             }
 

crates/vize/src/commands/check/runner.rs

@@ -83,8 +83,8 @@ impl TsgoLspClient {
 
         eprintln!("\x1b[90m[tsgo] Using: {tsgo}\x1b[0m");
 
-        // Determine project root (for tsgo binary search)
-        let _project_root = working_dir
+        // Determine project root (for node_modules resolution)
+        let project_root = working_dir
             .map(std::path::PathBuf::from)
             .or_else(|| std::env::current_dir().ok())
             .and_then(|p| p.canonicalize().ok());
@@ -95,6 +95,33 @@ impl TsgoLspClient {
         let temp_dir_path = std::env::temp_dir().join(&*cstr!("vize-tsgo-{}", std::process::id()));
         std::fs::create_dir_all(&temp_dir_path)
             .map_err(|e| cstr!("Failed to create temp directory: {e}"))?;
+
+        // Find and symlink node_modules so tsgo can resolve packages (e.g., 'vue').
+        // Walk up from project root to find node_modules that contains 'vue'.
+        let node_modules_path = project_root.as_ref().and_then(|root| {
+            let mut dir = root.as_path();
+            loop {
+                let nm = dir.join("node_modules");
+                if nm.join("vue").is_dir() {
+                    return Some(nm);
+                }
+                dir = dir.parent()?;
+            }
+        });
+        if let Some(ref nm_path) = node_modules_path {
+            let symlink_target = temp_dir_path.join("node_modules");
+            // Remove stale symlink if exists
+            let _ = std::fs::remove_file(&symlink_target);
+            #[cfg(unix)]
+            {
+                let _ = std::os::unix::fs::symlink(nm_path, &symlink_target);
+            }
+            #[cfg(windows)]
+            {
+                let _ = std::os::windows::fs::symlink_dir(nm_path, &symlink_target);
+            }
+        }
+
         let tsconfig_content = serde_json::json!({
             "compilerOptions": {
                 "target": "ES2022",