Intent-Code Divergence
Medium
- Confidence
- 97% confidence
- Finding
- The document states that map resources are destroyed in `deinit`, but the shown `deinit` only logs a message and does not call `destroyMapView`. This mismatch can cause developers to rely on automatic cleanup that never happens, leading to resource leaks, stale rendering handles, or undefined SDK behavior if views are repeatedly created and destroyed.
