averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

[embedded] Existentials: enable tests that now pass

Browse Source
This commit is contained in:
Arnold Schwaighofer
2025-11-21 06:37:47 -08:00
parent ffca3b4623
commit a5aa929d1f
1 changed files with 13 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
test/embedded/general-existentials1.swift
View File

@@ -47,7 +47,6 @@ func test(existential: any P) {
existential.bar()
}
/*
public protocol ProtoWithAssocType<T> {
associatedtype T
func foo(t: T)
@@ -133,6 +132,7 @@ public class Derived2<T>: Base<T> {
public override func bar() { print("Derived2.bar()") }
}
/*
public func takes_p1(_ p: P1) {
p.normal()
}
@@ -265,25 +265,27 @@ struct Main {
// CHECK: GenericStruct.foo: 28
// CHECK: GenericStruct.bar: 28
/*
callExWithAssocType(createExWithAssocType())
// xCHECK: 27
// CHECK: 27
callExWithAssocConf(createExWithAssocConf())
// xCHECK: foo
// xCHECK: bar
// CHECK: foo
// CHECK: bar
callExWithAssocConf(OtherClass())
// xCHECK: other-foo
// xCHECK: derived-bar
// CHECK: other-foo
// CHECK: derived-bar
test(existential: Derived1())
// xCHECK: Derived1.foo()
// xCHECK: Derived1.bar()
// CHECK: Derived1.foo()
// CHECK: Derived1.bar()
test(existential: Derived2<Bool>())
// xCHECK: Derived2.foo()
// xCHECK: Derived2.bar()
// CHECK: Derived2.foo()
// CHECK: Derived2.bar()
/*
testConditionalConformance(t: S(i: 27))
// xCHECK: 27