Type Alias mz_transform::typecheck::SharedContext

source ·
pub type SharedContext = Arc<Mutex<BTreeMap<Id, Vec<ColumnType>>>>;
Expand description

Typechecking contexts as shared by various typechecking passes.

We use a RefCell to ensure that contexts are shared by multiple typechecker passes. Shared contexts help catch consistency issues.

Aliased Type§

struct SharedContext { /* private fields */ }