First Draft: Static Single Assignment

[Peter C]

On Monday, 17 November 2025 at 06:18:27 UTC, Peter C wrote:
> ..
> In summary, it is *the duty* of auto to also copy the binding 
> restriction!

No. I'm wrong, and I better correct myself.

int i;
final int* pi = &i;
auto p = pi;

The binding restriction (i.e. the storage class specifier 
'final') is purely a local property of the variable pi and should 
not propagate to the new, copied variable p

so yes, as you say, the deduced type of p should be -> int*