неверно

с точки зрения "передать только тот параметр, который реализует `NetworkService`" - оба варианта делают это.

Разница в "магии компилятора", которая будет происходить под капотом. В первом случае возможно будет страдать производительность и больше памяти будет использовано если тип слишком большой для existential'а.

Во втором случае компилятор создаст более "производительный" код, но минус в дольшей компиляции и более жирном бинарнике.

Нет особого смысла заботиться об этом только если вы пишите какой то высокопроизводительный участок кода, где это реально важно

А где почитать про это ?

например https://www.objc.io/books/advanced-swift/

Использует тут кто-то Charles   в работе?

Задавайте вопрос конкретней, многие наверняка используют. Не все кто использует смогут помочь, наверно. Я использую в том числе.

все еще не задан вопрос