> e.g. GC allowing one to return what look like stack allocated pointers from functions

I think this is due to having escape analysis and SSA rather than having a GC.