{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"self.extend_type_variable_table(var.index()"}]}
        self.extend_type_variable_table(var.index() as usize);
        // Chalk might have created some type variables for its own purposes that we don't know about...
        assert_eq!(var.index() as usize, self.type_variable_table.len() - 1);