There’s not much point in providing such guarantees for most application code but there is great benefit for OS and driver code, and some benefit to most librar

There’s not much point in providing such guarantees for most application code but there is great benefit for OS and driver code, and some benefit to most library code. Just take security. Ensuring all applications are using the latest, secure, version of a library is a hard problem and so we should do all that we can to ensure the code is correct. How valuable this exercises is depends on the size of the audience of the library