> int i = 0;
> unsigned int x[] = { 0, // ok, because constant
> i }; // error: narrowing
>
> If we wish to make certain initializations (e.g. copy-initialization of
> certain types) narrowing-detecting, we have precedent for that.

Do we have an example that is not within list-initialization? To my
understanding, narrowing detection outside list-initialization would
be unprecedented.