{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"tait_coercion_table:"}]}
            tait_coercion_table: None,
            trait_env,
            var_unification_table: ChalkInferenceTable::new(),