Default O(1)-traced transition to blank array-type for debug pass, or throw transparency exception.