It seems like this would not allow the function/operator to decide if it cares about a determinate collation during execution, since it would already have errored out during planning.
In the case where the function/operator doesn't care one shouldn't be attaching explicit collation clauses to its inputs anyway - it is a semantic bug if nothing else and a bug during planning pointing that out seems useful.
