…harmless or useless?
-
ref = return () set _ = return () -
ref = return () get = return True
Consider the situation where that SMT solver and working-process monitor are in two separate third-party libraries: by themselves in each library, their effects are “benign”. But what if you need those two libraries in your new program?
Now imagine if every library could potentially have its own "benign" use of an unsafe I/O entity…