mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
cd84df54bf
This could happen previously when computing the existential type for a given archetype. In cases where an archetype is only constrained to a class, return the class type directly rather than wrapping it in an existential type.
13 lines
610 B
Plaintext
13 lines
610 B
Plaintext
// RUN: %target-swift-frontend -emit-ir %s
|
|
|
|
import Swift
|
|
|
|
class C {}
|
|
sil_vtable C {}
|
|
|
|
sil @repo: $@convention(c) @pseudogeneric <S, I where S : AnyObject, S : Hashable, I : C> (@inout_aliasable @block_storage @callee_guaranteed (@guaranteed S, Int, UnsafeMutablePointer<Bool>) -> (), S, Int, UnsafeMutablePointer<Bool>) -> () {
|
|
bb0(%0 : $*@block_storage @callee_guaranteed (@guaranteed S, Int, UnsafeMutablePointer<Bool>) -> (), %1 : $S, %2 : $Int, %3 : $UnsafeMutablePointer<Bool>):
|
|
%9 = tuple () // user: %10
|
|
return %9 : $() // id: %10
|
|
}
|