New `analyzer.language.strict-inference: true` option raise info diagnostics in generated contracts

[shilangyu]

dart(inference_failure_on_function_return_type) to be exact.

This issue is about fixing the generated code to not raise any diagnostics.