Handle `info` messages in solidity

[fvictorio]

At the moment, solidity has two kind of "messages" after a compilation: warnings and errors. But a third one, info, will be added. See this issue.

It seems like this won't break hardhat. The only problem is that these info messages are shown in yellow (as warnings). At the very least we should change that, but we might also have to consider things like allowing users to enable/disable different levels of verbosity, or configure them in some other way.

[github-actions[bot]]

This issue was marked as stale because it didn't have any activity in the last 30 days. If you think it's still relevant, please leave a comment indicating so. Otherwise, it will be closed in 7 days.

[cameel]

I think it's still relevant. The compiler does emit these and they should be handled (though currently there are not many cases in which they appear, mostly in SMTChecker I think).

[fvictorio]

It is indeed, thank you.

[fvictorio]

@cameel do you have an example of some code that produces an info message in some solc version?

[cameel]

I think that currently the only one is error 1180 from SMT checker. Check out the command-line test standard_model_checker_invariants_contract.

We do plan to use it more and maybe convert some of the existing warnings into info messages but this has been a low priority so far. May take some time until we focus specifically on that unless this comes up in one of the features we're currently adding or someone explicitly requests some warning to be demoted.

[fvictorio]

Thanks for the clarification. I'm going to mark this as blocked until there is some info message in solc that can show up in a normal Hardhat usage.