@pgcd I can imagine it would be accepted to combine the annotations, or perhaps to error if the right hand side has some and it’s not possible to combine. Did you search the ticket tracker?
@adamchainz i searched both the tracker and Google, and couldn't find anything - of course it might be I didn't use the best search terms.
@pgcd I think it’s worth filing then, at least there could be a documentation clarification