Bad interaction between prefer_int_literals and Enhanced type inference for generic invocations with function literals

[Pante]

Describe the issue
This issue is related to #58490

At the moment, there's a bad interaction between prefer_int_literals and Enhanced type inference for generic invocations with function literals introduced in 2.18.

The following snippet of code will cause the lint to emit a warning:

final sum = [1.0,  2.0].fold(0.0, (a, b) => a + b); // Triggered by 0.0

However, the code snippet is no longer valid once the suggested fix is applied.

final sum = [1.0,  2.0].fold(0, (a, b) => a + b); // Fails to compile with error: "The return type 'double' isn't a 'int', as required by the closure's context"

[pq]

Thanks for the report!