Skip to main content

check_with

nova_typeck

Function check_with 

Source 
pub fn check_with(
    file: &File,
    defs: &Definitions,
    options: &CheckOptions<'_>,
) -> CheckResult
Expand description

check, with the language server’s probe (spec docs/superpowers/specs/2026-10-08-phase-3-2-lsp-core-design.md §4.1).