Restrictions and more examples for the Include annotation

[henrikt-ma]

Fixes #3451.

Opening in Draft state as the idea is to have a discussion here about how to resolve #3451.

[HansOlsson]

When we add so many variants it might be best to also include the case of having a prototype directly in the included C-code.
(In terms of C-terminology a prototype is a "function declaration" in contrast to a "function definition".)

[henrikt-ma]

When we add so many variants it might be best to also include the case of having a prototype directly in the included C-code. (In terms of C-terminology a prototype is a "function declaration" in contrast to a "function definition".)

I tried to do this, but in order to make explain why one would like to do so, I found it necessary to have all semantics for the Include annotation in one place.

Regarding prototype vs function declaration, I agree that we should go for the standard terminology used in C. Should we do it as part of this PR?

[HansOlsson]

When we add so many variants it might be best to also include the case of having a prototype directly in the included C-code. (In terms of C-terminology a prototype is a "function declaration" in contrast to a "function definition".)

I tried to do this, but in order to make explain why one would like to do so, I found it necessary to have all semantics for the Include annotation in one place.

Ok, but see comment about the latest addition.

Regarding prototype vs function declaration, I agree that we should go for the standard terminology used in C. Should we do it as part of this PR?

Better to have it later, and separately as it involves other lines as well.

[henrikt-ma]

Removed Draft state as this seems to have converged enough for a language group decision.

[HansOlsson]

To me this makes sense, but since it adds new behavior I think it is good to get input from the group. Use emojis to vote - (left-bottom, closes day before phone meeting):

1. Thumbs up: Ok to merge.
2. Eyes: Need more discussion.
3. Thumbs down: Don't specify these restrictions.

[HansOlsson]

Seems ok.