>>307
f<0>が実体化された時点で、f<(unsigned)-1>も実体化されるから