{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":".expect(\"free"}]}
            .expect("free var is not inference var");
            }
            if self.var_unification_table.probe_var(iv).is_some() {