Skip to content

Conversation

@hjyamauchi
Copy link
Contributor

When checking equality of types with existential types removed, recursively remove existential types inside an existential type.

Fixes: #66554

Cherrypick fda6f9b

When checking equality of types with existential types removed,
recursively remove existential types inside an existential type.

Fixes: swiftlang#66554

Cherrypick swiftlang@fda6f9b
@hjyamauchi hjyamauchi requested a review from a team as a code owner October 24, 2023 16:34
@compnerd
Copy link
Member

@swift-ci please test


protocol Protocol<T> { associatedtype T }
typealias AnyProtocol<T> = any Protocol<T>
let crash: AnyProtocol<Any?>
Copy link
Contributor

@adrian-prantl adrian-prantl Oct 25, 2023

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can you pipe the -emit-ir output to FileCheck and CHECK the mangled type name of "crash"?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@adrian-prantl this is a cherry-pick to 5.9, I think that doing that on main is a good idea though.

@compnerd
Copy link
Member

@swift-ci please build toolchain Windows platform

@hjyamauchi
Copy link
Contributor Author

@DougGregor @airspeedswift

@adrian-prantl adrian-prantl self-requested a review November 7, 2023 15:01
Copy link
Contributor

@adrian-prantl adrian-prantl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Code change LGTM, but please update the test.

@hjyamauchi
Copy link
Contributor Author

Yeah, will do.

@hjyamauchi hjyamauchi merged commit 6c7638f into swiftlang:release/5.9 Nov 8, 2023
@hjyamauchi
Copy link
Contributor Author

@adrian-prantl #69935 updates the test

hjyamauchi added a commit to hjyamauchi/swift that referenced this pull request Nov 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants