reftyping-frame (with %trustme on permission`left-preserves-equiv).