Is it possible for the compiler to warn about potential stack overflows at compile time?

What was the memory footprint of your type before migrating to copy-on-write? By any chance did you also measure a reduction in binary size?