{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":")"}]}
                        ) -> ControlFlow<()> {
                            db: chalk_ir::DebruijnIndex,
                            if t == self.expected_ty {