You are not absent from conservative approximation even with manual memory management. E.g. a map is a trivial example where you can’t always know which element

You are not absent from conservative approximation even with manual memory management. E.g. a map is a trivial example where you can’t always know which elements will be used during the lifetime of the program (and only those has to be kept alive).