Swift のジェネリクスとは関係なく C++ のジェネリックラムダが型を解決する仕組みが型推論と似てるって言ってるだけ？