> I wonder how you solve dangling references when those references could point to automatic stack variables.

By restricting them, to, essentially, disallow storing `ref`s on the heap.