> Revert r53812 -- premature. LegalizeTypes isn't actually on yet! It was turned on for a while, but I turned it off again because it broke darwin bootstrap (I don't know if it still is). Ciao, Duncan.