If function stubs are provided, we'd like to prevent accidentally adding an incorrect signature

[petertseng]

It was an issue in #339 (comment).

One possible way this might be accomplished: CI would check that if function stubs are provided, they compile.