AllowAmbiguousTypes in HEAD