https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89816
--- Comment #3 from Ville Voutilainen <ville.voutilainen at gmail dot com> --- The problem here is that the older approach knows that it's always from type X1 to type X1, never from type X4 to X2. The visitation approach generates combinations that we never use.
