@swift-4.0.3 protocol P {} struct S<T: P> {} func fun<T>(arg: S<T>) {}