{"ast_node_type":"variable","tokens":[{"end":85,"kind":"keyword","start":0,"text":"if"}]}
            if let Some(known_ty) = self.table.var_unification_table.probe_var(var) {
            }
                // known_ty may contain other variables that are known by now