{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"var_unification_table:"}]}
    var_unification_table: ChalkInferenceTable,
    pub(crate) tait_coercion_table: Option<FxHashMap<OpaqueTyId, Ty>>,
    type_variable_table: SmallVec<[TypeVariableFlags; 16]>,