I'm thinking that you can have code that conditionally at runtime might destroy an object and free its memory. Probably rustc just assumes the worst