Struct CheckOptions 

pub struct CheckOptions<'a> {
    pub probe: Option<ProbePoint>,
    pub index: bool,
    pub sources: Option<&'a FileDb>,
}

What check_with does beyond checking.

Fields

probe: Option<ProbePoint>

index: bool

Record the language server’s index (spec docs/superpowers/specs/2026-10-10-phase-3-4a-navigation-design.md §3). Recording is write-only: the checker never reads it.

sources: Option<&'a FileDb>

The program’s sources, for the fixes placed by lines (spec docs/superpowers/specs/2026-10-10-phase-3-4b-fixes-and-colour-design.md §4.7). Without them, those fixes are not offered.

Trait Implementations

impl<'a> Clone for CheckOptions<'a>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Copy for CheckOptions<'a>

impl<'a> Debug for CheckOptions<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> Default for CheckOptions<'a>

fn default() -> Self

Returns the “default value” for a type.