The easiest solution to this would be a "relocatable frame" type that forces the compiler to throw an error if it would otherwise have to spill an internal poin

The easiest solution to this would be a "relocatable frame" type that forces the compiler to throw an error if it would otherwise have to spill an internal pointer at a suspension point.