Type Alias SharedContext

pub type SharedContext = Arc<Mutex<BTreeMap<Id, Vec<SqlColumnType>>>>;

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

pub struct SharedContext { /* private fields */ }