{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"if"}]}
                if table.try_unify(&expected_ty, &output).is_ok() {
            self.table.fudge_inference(|table| {
                    table.resolve_with_fallback(inputs, &|var, kind, _, _| match kind {