func foo(p: P) = foo(p: some P) = foo<T: P>(p: T) // 将来↑の仕様が入った時点で func foo(error: Error) = foo(error: any Error) // ↑この特別ルールが残るのは混乱を招きません？
(edited)