lean-ctx-3.8.2
- lean-ctx 3.8.2
- Docs.rs crate page
- Apache-2.0
- 12 June 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- yvgude
- Dependencies
- anyhow ^1 normal
  argon2 ^0.5 normal optional
  axum ^0.8 normal optional
  base64 ^0.22 normal optional
  bincode ^2 normal
  blake3 ^1 normal
  bytecount ^0.6.9 normal
  chacha20poly1305 ^0.10 normal
  chrono ^0.4 normal
  crossterm ^0.29 normal
  deadpool-postgres ^0.14 normal optional
  dirs ^5 normal
  ed25519-dalek ^2 normal
  flate2 ^1 normal
  fs2 ^0.4.3 normal
  futures ^0.3 normal
  gethostname ^1.1.0 normal
  getrandom ^0.3 normal
  glob ^0.3.3 normal
  hex ^0.4 normal optional
  hkdf ^0.12 normal
  hmac ^0.12 normal
  http ^1 normal
  ignore ^0.4 normal
  jsonwebtoken ^10.3 normal optional
  lettre ^0.11 normal optional
  libc ^0.2 normal
  lsp-types ^0.97 normal
  md-5 ^0.10 normal
  memmap2 ^0.9 normal
  moka ^0.12.15 normal
  pdf-extract ^0.10 normal
  rand ^0.9.3 normal optional
  ratatui ^0.30 normal
  rayon ^1.10 normal
  regex ^1 normal
  reqwest ^0.13.2 normal optional
  resvg ^0.47.0 normal optional
  rmcp ^1 normal
  rpassword ^7.4.0 normal
  rten ^0.24 normal optional
  rten-tensor ^0.24 normal optional
  rusqlite ^0.39.0 normal
  serde ^1 normal
  serde_json ^1 normal
  sha2 ^0.10 normal
  similar ^2 normal
  subtle ^2 normal
  tar ^0.4.46 normal
  tempfile ^3 normal
  thiserror ^2 normal
  tiktoken-rs ^0.6 normal
  tokio ^1 normal
  tokio-postgres ^0.7 normal optional
  tokio-util ^0.7 normal
  toml ^0.8 normal
  toml_edit ^0.22 normal
  tower-http ^0.6 normal optional
  tracing ^0.1 normal
  tracing-subscriber ^0.3 normal
  tree-sitter ^0.26 normal optional
  tree-sitter-bash ^0.25 normal optional
  tree-sitter-c ^0.24 normal optional
  tree-sitter-c-sharp ^0.23 normal optional
  tree-sitter-cpp ^0.23 normal optional
  tree-sitter-dart ^0.1 normal optional
  tree-sitter-elixir ^0.3 normal optional
  tree-sitter-gdscript ^6.1 normal optional
  tree-sitter-go ^0.25 normal optional
  tree-sitter-java ^0.23 normal optional
  tree-sitter-javascript ^0.25 normal optional
  tree-sitter-kotlin-ng ^1.1 normal optional
  tree-sitter-php ^0.24 normal optional
  tree-sitter-python ^0.25 normal optional
  tree-sitter-ruby ^0.23 normal optional
  tree-sitter-rust ^0.24 normal optional
  tree-sitter-scala ^0.25 normal optional
  tree-sitter-swift ^0.7 normal optional
  tree-sitter-typescript ^0.23 normal optional
  tree-sitter-zig ^1.1 normal optional
  unicode-width ^0.2 normal
  ureq ^3.3.0 normal
  urlencoding ^2 normal
  uuid ^1 normal optional
  walkdir ^2 normal
  wasmi ^1.0.9 normal optional
  zip ^8.4.0 normal
  zstd ^0.13 normal
  criterion ^0.5 dev
  filetime ^0.2.29 dev
  insta ^1 dev
  jsonschema ^0.46.5 dev
  proptest ^1 dev
  serial_test ^3.4.0 dev
  tempfile ^3.27.0 dev
  tower ^0.5 dev
  wat ^1.251.0 dev
  tikv-jemalloc-ctl ^0.6 normal optional
  tikv-jemallocator ^0.6 normal optional
  windows-sys ^0.59 normal
- Versions
- 28.04% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

has_error

lean_ctx3.8.2

In lean_ctx::core::diagnostics_store

lean_ctx::core::diagnostics_store

Function has_error

pub fn has_error(path: &str) -> bool

Expand description

Does any tracked file currently carry a compile error?