[layer8]

Ah, I missed that. However, footnote 41 states “The same representation and alignment requirements are meant to imply interchangeability as arguments to functions […]”, which could be taken as implying compatibility of function types, though the normative wording doesn’t directly support that.

[trealira]

Good point. It would be nice if the C standard were slightly clearer here.