the example that revealed a type promotion bug