Module checker 

Re-exports

pub use type_env::EnvResolve;

pub use type_env::Speculation;

pub use type_env::TypeEnv;

pub use type_env::VarState;

Modules

freeze

Post-inference freeze pass.

infer

scopes

type_env

Union-find-style binding table for Type::Var handles.

Structs

Cursor

ImportState

TaskState

Per-task mutable state. Paired with AnalysisContext (shared read-only view).