@robbertkrebbers asked about this old counterexample that I posted on the iris-club mailing list in 2016, and since it took some time to find, I figured maybe we should have it in a place that is easier to discover.
@robbertkrebbers asked about this old counterexample that I posted on the iris-club mailing list in 2016, and since it took some time to find, I figured maybe we should have it in a place that is easier to discover.