{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//"}]}
                            // If we're in the new solver and create a new inference
                                inner.type_variables().new_var(self.for_universe, origin);
                            // variable inside of an alias we eagerly constrain that