Docs.rs
cairo-lang-semantic-2.8.5
cairo-lang-semantic 2.8.5
Docs.rs crate page
Links
Repository
crates.io
Source
Owners
spapinistarkware
gilbens-starkware
orizi
Dependencies
cairo-lang-debug ~2.8.5
normal
cairo-lang-defs ~2.8.5
normal
cairo-lang-diagnostics ~2.8.5
normal
cairo-lang-filesystem ~2.8.5
normal
cairo-lang-parser ~2.8.5
normal
cairo-lang-plugins ~2.8.5
normal
cairo-lang-proc-macros ~2.8.5
normal
cairo-lang-syntax ~2.8.5
normal
cairo-lang-test-utils ~2.8.5
normal
optional
cairo-lang-utils ~2.8.5
normal
id-arena ^2.2.1
normal
indoc ^2.0.5
normal
itertools ^0.12.1
normal
num-bigint ^0.4.5
normal
num-traits ^0.2.19
normal
rust-analyzer-salsa ^0.17.0-pre.6
normal
smol_str ^0.2.0
normal
toml ^0.8.12
normal
optional
env_logger ^0.11.3
dev
log ^0.4.21
dev
pretty_assertions ^1.4.0
dev
test-log ^0.2.16
dev
toml ^0.8.12
dev
Versions
48.49%
of the crate is documented
Go to latest version
Platform
i686-pc-windows-msvc
i686-unknown-linux-gnu
x86_64-apple-darwin
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
Rust
About docs.rs
Privacy policy
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
cairo_
lang_
semantic
2.8.5
Module db
Module Items
Structs
Traits
Functions
In crate cairo_
lang_
semantic
cairo_lang_semantic
Module
db
Copy item path
Source
Structs
§
Analyzer
Plugins
Query
Canonic
Trait
Solutions
Query
Concrete
Function
Signature
Query
Concrete
Struct
Members
Query
Concrete
Trait
Constant
Type
Query
Concrete
Trait
Function
Generic
Params
Query
Concrete
Trait
Function
Signature
Query
Concrete
Trait
Impl
Concrete
Trait
Query
Constant
Const
Type
Query
Constant
Const
Value
Query
Constant
Resolver
Data
Query
Constant
Semantic
Data
Query
Constant
Semantic
Diagnostics
Query
Core
Crate
Query
Core
Felt252
TyQuery
Core
Module
Query
Enum
Attributes
Query
Enum
Declaration
Diagnostics
Query
Enum
Declaration
Resolver
Data
Query
Enum
Definition
Diagnostics
Query
Enum
Definition
Resolver
Data
Query
Enum
Generic
Params
Data
Query
Enum
Generic
Params
Query
Enum
Variants
Query
Expr
Semantic
Query
Extern
Function
Declaration
Diagnostics
Query
Extern
Function
Declaration
Generic
Params
Data
Query
Extern
Function
Declaration
Generic
Params
Query
Extern
Function
Declaration
Implicits
Query
Extern
Function
Declaration
Inline
Config
Query
Extern
Function
Declaration
Refs
Query
Extern
Function
Declaration
Resolver
Data
Query
Extern
Function
Signature
Query
Extern
Type
Attributes
Query
Extern
Type
Declaration
Diagnostics
Query
Extern
Type
Declaration
Generic
Params
Data
Query
Extern
Type
Declaration
Generic
Params
Query
File
Semantic
Diagnostics
Query
Free
Function
Body
Diagnostics
Query
Free
Function
Body
Resolver
Data
Query
Free
Function
Declaration
Diagnostics
Query
Free
Function
Declaration
Implicit
Precedence
Query
Free
Function
Declaration
Implicits
Query
Free
Function
Declaration
Inline
Config
Query
Free
Function
Declaration
Resolver
Data
Query
Free
Function
Generic
Params
Data
Query
Free
Function
Generic
Params
Query
Free
Function
Signature
Query
Function
Body
Diagnostics
Query
Function
Body
Expr
Query
Function
Body
Query
Function
Declaration
Diagnostics
Query
Function
Declaration
Implicit
Precedence
Query
Function
Declaration
Inline
Config
Query
Function
Title
Generic
Params
Query
Function
Title
Signature
Query
Function
With
Body
Attributes
Query
Function
With
Body
Generic
Params
Query
Function
With
Body
Signature
Query
Generic
Impl
Param
Trait
Query
Generic
Param
Diagnostics
Query
Generic
Param
Resolver
Data
Query
Generic
Param
Semantic
Query
Generic
Type
Generic
Params
Query
Impl
Alias
Attributes
Query
Impl
Alias
Generic
Params
Data
Query
Impl
Alias
Generic
Params
Query
Impl
Alias
Impl
DefQuery
Impl
Alias
Resolved
Impl
Query
Impl
Alias
Resolver
Data
Query
Impl
Alias
Semantic
Diagnostics
Query
Impl
AllUsed
Items
Query
Impl
Concrete
Trait
Query
Impl
Constant
ByTrait
Constant
Query
Impl
Constant
Concrete
Implized
Type
Query
Impl
Constant
Concrete
Implized
Value
Query
Impl
Constant
DefResolver
Data
Query
Impl
Constant
DefSemantic
Diagnostics
Query
Impl
Constant
DefTrait
Constant
Query
Impl
Constant
DefValue
Query
Impl
Constant
Implized
ByContext
Query
Impl
Constants
Query
Impl
DefAttributes
Query
Impl
DefConcrete
Trait
Query
Impl
DefGeneric
Params
Data
Query
Impl
DefGeneric
Params
Query
Impl
DefResolver
Data
Query
Impl
DefSubstitution
Query
Impl
DefTrait
Query
Impl
Function
Attributes
Query
Impl
Function
Body
Diagnostics
Query
Impl
Function
Body
Query
Impl
Function
Body
Resolver
Data
Query
Impl
Function
ByTrait
Function
Query
Impl
Function
Declaration
Diagnostics
Query
Impl
Function
Declaration
Implicit
Precedence
Query
Impl
Function
Declaration
Implicits
Query
Impl
Function
Declaration
Inline
Config
Query
Impl
Function
Generic
Params
Query
Impl
Function
Resolver
Data
Query
Impl
Function
Signature
Query
Impl
Function
Trait
Function
Query
Impl
Functions
Query
Impl
Impl
ById
Query
Impl
Impl
ByTrait
Impl
Query
Impl
Impl
Concrete
Implized
Query
Impl
Impl
Concrete
Trait
Query
Impl
Impl
DefImpl
Query
Impl
Impl
DefResolver
Data
Query
Impl
Impl
DefSemantic
Diagnostics
Query
Impl
Impl
DefTrait
Impl
Query
Impl
Impl
IdsFor
Trait
Filter
Query
Impl
Impl
IdsQuery
Impl
Impl
Implized
ByContext
Query
Impl
Implicit
Impl
ByName
Query
Impl
Impls
Query
Impl
Item
ByName
Query
Impl
Semantic
Declaration
Diagnostics
Query
Impl
Semantic
Definition
Diagnostics
Query
Impl
Type
ById
Query
Impl
Type
ByTrait
Type
Query
Impl
Type
Concrete
Implized
Query
Impl
Type
DefAttributes
Query
Impl
Type
DefGeneric
Params
Query
Impl
Type
DefResolved
Type
Query
Impl
Type
DefResolver
Data
Query
Impl
Type
DefSemantic
Diagnostics
Query
Impl
Type
DefTrait
Type
Query
Impl
Type
IdsQuery
Impl
Types
Query
Implicit
Impl
Impl
Impl
Query
Implicit
Impl
Impl
Semantic
Diagnostics
Query
Intern
Concrete
Enum
Lookup
Query
Intern
Concrete
Enum
Query
Intern
Concrete
Extern
Type
Lookup
Query
Intern
Concrete
Extern
Type
Query
Intern
Concrete
Function
With
Body
Lookup
Query
Intern
Concrete
Function
With
Body
Query
Intern
Concrete
Impl
Lookup
Query
Intern
Concrete
Impl
Query
Intern
Concrete
Struct
Lookup
Query
Intern
Concrete
Struct
Query
Intern
Concrete
Trait
Constant
Lookup
Query
Intern
Concrete
Trait
Constant
Query
Intern
Concrete
Trait
Function
Lookup
Query
Intern
Concrete
Trait
Function
Query
Intern
Concrete
Trait
Impl
Lookup
Query
Intern
Concrete
Trait
Impl
Query
Intern
Concrete
Trait
Lookup
Query
Intern
Concrete
Trait
Query
Intern
Concrete
Trait
Type
Lookup
Query
Intern
Concrete
Trait
Type
Query
Intern
Const
Value
Lookup
Query
Intern
Const
Value
Query
Intern
Function
Lookup
Query
Intern
Function
Query
Intern
Generated
Impl
Lookup
Query
Intern
Generated
Impl
Query
Intern
Impl
Lookup
Query
Intern
Impl
Query
Intern
Impl
VarLookup
Query
Intern
Impl
VarQuery
Intern
Type
Lookup
Query
Intern
Type
Query
Intern
Uninferred
Generated
Impl
Lookup
Query
Intern
Uninferred
Generated
Impl
Query
IsImplicit
Impl
Impl
Query
Lookup
Resolved
Concrete
Item
ByPtr
Query
Lookup
Resolved
Generic
Item
ByPtr
Query
Methods
InCrate
Query
Methods
InModule
Query
Module
AllUsed
Items
Query
Module
Attributes
Query
Module
Impl
IdsFor
Trait
Filter
Query
Module
Item
ByName
Query
Module
Item
Info
ByName
Query
Module
Semantic
Diagnostics
Query
Module
Type
Alias
Generic
Params
Query
Module
Type
Alias
Resolved
Type
Query
Module
Type
Alias
Resolver
Data
Query
Module
Type
Alias
Semantic
Diagnostics
Query
Module
Usable
Trait
IdsQuery
Pattern
Semantic
Query
Priv
Constant
Semantic
Data
Query
Priv
Enum
Declaration
Data
Query
Priv
Enum
Definition
Data
Query
Priv
Extern
Function
Declaration
Data
Query
Priv
Extern
Type
Declaration
Data
Query
Priv
Free
Function
Body
Data
Query
Priv
Free
Function
Declaration
Data
Query
Priv
Generic
Param
Data
Query
Priv
Impl
Alias
Semantic
Data
Query
Priv
Impl
Constant
Semantic
Data
Query
Priv
Impl
Declaration
Data
Query
Priv
Impl
Definition
Data
Query
Priv
Impl
Function
Body
Data
Query
Priv
Impl
Function
Declaration
Data
Query
Priv
Impl
Function
Generic
Params
Data
Query
Priv
Impl
Impl
DefGeneric
Params
Data
Query
Priv
Impl
Impl
Semantic
Data
Query
Priv
Impl
IsFully
Concrete
Query
Priv
Impl
IsVar
Free
Query
Priv
Impl
Type
DefGeneric
Params
Data
Query
Priv
Impl
Type
Semantic
Data
Query
Priv
Implicit
Impl
Impl
Semantic
Data
Query
Priv
Module
Semantic
Data
Query
Priv
Module
Type
Alias
Generic
Params
Data
Query
Priv
Module
Type
Alias
Semantic
Data
Query
Priv
Struct
Declaration
Data
Query
Priv
Struct
Definition
Data
Query
Priv
Trait
Constant
Data
Query
Priv
Trait
Declaration
Data
Query
Priv
Trait
Definition
Data
Query
Priv
Trait
Function
Body
Data
Query
Priv
Trait
Function
Declaration
Data
Query
Priv
Trait
Function
Generic
Params
Data
Query
Priv
Trait
Impl
Data
Query
Priv
Trait
Type
Data
Query
Priv
Trait
Type
Generic
Params
Data
Query
Priv
Type
IsFully
Concrete
Query
Priv
Type
IsVar
Free
Query
Priv
UseSemantic
Data
Query
Semantic
Database
Representative struct for the query group.
Semantic
Group
Group
Storage__
Single
Value
Type
Query
Statement
Semantic
Query
Struct
Attributes
Query
Struct
Declaration
Diagnostics
Query
Struct
Declaration
Resolver
Data
Query
Struct
Definition
Diagnostics
Query
Struct
Definition
Resolver
Data
Query
Struct
Generic
Params
Data
Query
Struct
Generic
Params
Query
Struct
Members
Query
Trait
AllUsed
Items
Query
Trait
Attributes
Query
Trait
Constant
Attributes
Query
Trait
Constant
ByName
Query
Trait
Constant
Diagnostics
Query
Trait
Constant
Resolver
Data
Query
Trait
Constant
Type
Query
Trait
Constants
Query
Trait
Function
Attributes
Query
Trait
Function
Body
Diagnostics
Query
Trait
Function
Body
Query
Trait
Function
ByName
Query
Trait
Function
Declaration
Diagnostics
Query
Trait
Function
Declaration
Implicit
Precedence
Query
Trait
Function
Declaration
Implicits
Query
Trait
Function
Declaration
Inline
Config
Query
Trait
Function
Generic
Params
Query
Trait
Function
Resolver
Data
Query
Trait
Function
Signature
Query
Trait
Functions
Query
Trait
Generic
Params
Data
Query
Trait
Generic
Params
Query
Trait
Impl
Attributes
Query
Trait
Impl
ByName
Query
Trait
Impl
Concrete
Trait
Query
Trait
Impl
Diagnostics
Query
Trait
Impl
Resolver
Data
Query
Trait
Impls
Query
Trait
Item
ByName
Query
Trait
Required
Item
Names
Query
Trait
Resolver
Data
Query
Trait
Semantic
Declaration
Diagnostics
Query
Trait
Semantic
Definition
Diagnostics
Query
Trait
Type
Attributes
Query
Trait
Type
ByName
Query
Trait
Type
Diagnostics
Query
Trait
Type
Generic
Params
Query
Trait
Type
Implized
ByContext
Query
Trait
Type
Resolver
Data
Query
Trait
Types
Query
Type
Info
Query
Type
Size
Info
Query
UseResolver
Data
Query
UseSemantic
Diagnostics
Query
Variant
Semantic
Query
Visible
Traits
From
Module
Query
Visible
Traits
InCrate
Query
Visible
Traits
InModule
Query
Traits
§
Elongate
Helper trait to make sure we can always get a
dyn SemanticGroup + 'static
from a SemanticGroup.
Semantic
Group
Functions
§
get_
resolver_
data_
options
lookup_
resolved_
concrete_
item_
by_
ptr
lookup_
resolved_
generic_
item_
by_
ptr