I am curious what the differences are. Did they bet on some unstable features that since changed, did they run into some soundness fixes, or are there genuine r

I am curious what the differences are. Did they bet on some unstable features that since changed, did they run into some soundness fixes, or are there genuine regressions in the stability guarantees of the compiler that are pushing them in this direciton?