Ben Gamari authored Nov 09, 2019 and Marge Bot committed Nov 13, 2019

As noted in #17458, QuantifiedConstraints and UndecideableInstances
could previously be used to write programs which can loop at runtime.
This was fixed in !1870.