I'm not sure I understand your idea, how can code generation benefit from memory safe abstractions of target languages? The whole point of code generation or ra

I'm not sure I understand your idea, how can code generation benefit from memory safe abstractions of target languages? The whole point of code generation or rather compilation is to fit one representation into something else, doesn't matter what it is, but it has to satisfy its constraints no matter what, even if you have to use a giant global array to emulate pointers via indexes. In other words, the goal is to work around any constraints of the target language to fit yours, but not to design your language to fit any constraints of the target. Safety guarantees can only work if you carefully choose and rely on appropriate abstractions for your problem.