Struct CheckResult

Source

pub struct CheckResult {
    pub env: Env,
    pub references: GPooled<Vec<ReferenceSite>>,
    pub module_references: GPooled<Vec<ModuleRefSite>>,
    pub scope_map: GPooled<Vec<ScopeMapEntry>>,
    pub lsp: Lsp,
}

Expand description

Result of a typecheck-only compile pass. Carries the env as it would be after the source was compiled, plus the set of resolved name references and module references encountered during compilation. The IDE-side collections are GPooled so the buffers return to the runtime-side named pools after crossing the LSP thread boundary, keeping the recompile-per-keystroke loop allocation-free in steady state.

Fields§

§env: Env§references: GPooled<Vec<ReferenceSite>>§module_references: GPooled<Vec<ModuleRefSite>>§scope_map: GPooled<Vec<ScopeMapEntry>>§lsp: Lsp

IDE side-channels populated only in lsp_mode: type references, sig→impl bind links, and per-module impl-side env snapshots. Empty for non-LSP compiles.

CheckResult

Struct CheckResult Copy item path

Fields§

Trait Implementations§

impl Debug for CheckResult

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

Auto Trait Implementations§

impl Freeze for CheckResult

impl !RefUnwindSafe for CheckResult

impl Send for CheckResult

impl Sync for CheckResult

impl Unpin for CheckResult

impl UnsafeUnpin for CheckResult

impl !UnwindSafe for CheckResult

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere T: 'a,

fn explicit(self, class: Class, tag: u32) -> TaggedParser<'a, Explicit, Self, E>

impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere T: 'a,

fn implicit( self, class: Class, constructed: bool, tag: u32, ) -> TaggedParser<'a, Implicit, Self, E>

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> Same for T

type Output = T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct CheckResult

impl<T> Any for T
where T: 'static + ?Sized,

impl<'a, T, E> AsTaggedExplicit<'a, E> for T
where T: 'a,

impl<'a, T, E> AsTaggedImplicit<'a, E> for T
where T: 'a,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,