{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":")"}]}
            ) -> chalk_ir::Ty<Interner> {
                _outer_binder: chalk_ir::DebruijnIndex,
                if var < self.highest_known_var {