{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"highest_known_var:"}]}
            highest_known_var: InferenceVar,
            table: &'a mut InferenceTable<'b>,
        }