@swift-4.2.4 func foo<T: Error>(_ t: T) { print(t) } struct E: Error {} let a: Error = E() foo(a)