{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"inner.type_variables().new_var(self.for_universe,"}]}
                                inner.type_variables().new_var(self.for_universe, origin);
                            let new_var_id =
                            // If we're in the new solver and create a new inference