P3489 R0 Postconditions odr-using a parameter of dependent type

[wg21bot]

P3489R0 Postconditions odr-using a parameter of dependent type (Timur Doumler, Joshua Berne)

[timuraudio]

Discussed by SG21 on 2024-11-07. Nothing further to do on this paper, closing the issue.

Poll results:

Poll 9:
For P2900, require every parameter declaration to have an explicit const qualifier, as proposed in P3489R0 Option D1.

SF F N A SA
2 11 3 1 2

Result: Consensus

Poll 10:
For P2900, allow the const on a parameter declaration to be part of a dependent type, as proposed in P3489R0 Option D2.

SF F N A SA
2 5 7 1 2

Result: Consensus but less than Poll 9