On Sat, Dec 24, 2022, 10:29 PM Ben Gamari <ben@well-typed.com> wrote:

David Feuer <david.feuer@gmail.com> writes:

> Does this release include the fix for #22549 (infinite loops for some
> undecidable instances)?
>
Yes, it includes a backport of !9485.

Cheers,

- Ben