[SR-11723] .swiftinterface round trip error: "conditional conformance of type 'xxx' to protocol 'yyy' does not imply conformance to inherited protocol 'zzz'" #54132
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
compiler
The Swift compiler in itself
conditional conformances
Feature → protocol → conformances: conditional conformances
conformances
Feature → protocol: protocol conformances
swift 6.0
textual interfaces
unexpected error
Bug: Unexpected error
Environment
DEVELOPMENT-SNAPSHOT-2019-11-01-a
: https://swift.org/builds/development/xcode/swift-DEVELOPMENT-SNAPSHOT-2019-11-01-a/swift-DEVELOPMENT-SNAPSHOT-2019-11-01-a-osx.pkgAdditional Detail from JIRA
md5: 50cbe79c7c7f05f6213fca70dcb9d645
Issue Description:
swift sr-11723.swift
andswiftc sr-11723.swift
work fine, but the following does not:If the where clause (
where Scalar : Proto2
) is removed fromextension Struct : Proto1 & Proto2 where Scalar : Proto2
, then there is no error:The text was updated successfully, but these errors were encountered: