{"ast_node_type":"variable","tokens":[{"end":84,"kind":"keyword","start":0,"text":"let"}]}
        let flags = self.type_variable_table.get_mut(var.index() as usize).unwrap();
        assert_eq!(var.index() as usize, self.type_variable_table.len() - 1);
        if diverging {