P3066 R0 Allow repeating contract annotations on non-first declarations

[wg21bot]

P3066R0 Allow repeating contract annotations on non-first declarations (Timur Doumler, )

[timuraudio]

Adopted by SG21 for P2900.

2024-01-25, Telecon

Poll 3A
For the Contracts MVP, a function declaration that is not a first declaration
shall have either no precondition or postcondition specifiers, or the same
precondition or postcondition specifiers as the first declaration, as proposed
in P3066R0.

SF F N A SA
7 8 2 0 0

Result: Consensus