@swiftbot protocol A{} struct S<X> {} extension S: A where X == Int {} extension S: A where X == String {}