> So what happens if you just try to work with what you have? Then you basically end up where existing static analysis tools are - they can catch some lifetime/

> So what happens if you just try to work with what you have? Then you basically end up where existing static analysis tools are - they can catch some lifetime/ownership errors, but that's on a best-effort basis an can potentially be very resource-intensive. Yeah unfortunately.