With a GC you can basically write whatever you want with reckless abandon and because it's cleaned up at runtime, it's mostly kosher.

Without a GC (i.e. rust), in order to be able to make guarantees about things that it cannot determine at compile time (this is a mathematical impossibility) it restricts the set of programs you can write.