iOS: fallout of `marker::NoCopy` removal