AOT-compiled Lisp generally retains the type info you need at runtime in one way or another.

A precise garbage collector for a normal-ish implementation of C, assembly, or Forth is potentially very difficult, though.