_openExistential(_:do:)