scala/scala — comment on commit cdd4aac9819bc6bb2872a503a1bb2542fcfb6230
File: src/compiler/scala/reflect/internal/Types.scala line 2473
By paulp:

Now I remember. There is an explosion of bootstrap-destroying cycles if one attempts this in the general case. I wasn't able to make it work no matter what I did to restrict things.