Even then you can have a GC. It just has to be conservative and non-compacting. Even C/C++ have a GC via boehm-gc, a LIBRARY that implements garbage collection!

(This is why I love C. No other practical language can claim to be able to implement a full-fledged GC as a library.)