S is ~Escapable. Yet it clearly escapes by being returned. That’s the only way it’s useful. @John_McCall confirms that this even extends to yielded owned values, which are somehow different from borrowed values???
Where is the single document I can read to understand this system?