mirror of
https://github.com/apple/swift.git
synced 2026-10-30 22:15:52 +01:00
Kavon Farvardin
54c1c0873c
Some of the crashes are due to assertions that are only tripped in asserts builds and do not crash or trigger verifier issues otherwise. In that case, let's not try to expect a crash.
57 lines
1.6 KiB
Swift
57 lines
1.6 KiB
Swift
// RUN: %target-swift-emit-silgen -Xllvm -sil-print-types -target %target-swift-5.9-abi-triple %s | %FileCheck %s
|
|
|
|
public class A<each T> {
|
|
public func f(_ action: (repeat each T) -> ()) {}
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4main5test02fnyySi_SftXE_tF :
|
|
// CHECK: [[CTOR:%.*]] = function_ref @$s4main1ACACyxxQp_QPGycfC :
|
|
// CHECK: [[OBJECT:%.*]] = apply [[CTOR]]<Pack{Int, Float}>
|
|
// CHECK: [[METHOD:%.*]] = class_method [[OBJECT]] : $A<Int, Float>, #A.f : <each T> (A<repeat each T>) -> ((repeat each T) -> ()) -> ()
|
|
// CHECK: apply [[METHOD]]<Pack{Int, Float}>
|
|
func test0(fn: (Int, Float) -> ()) {
|
|
A<Int, Float>().f(fn)
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s4main5test1yyF :
|
|
// CHECK: [[CTOR:%.*]] = function_ref @$s4main1ACACyxxQp_QPGycfC :
|
|
// CHECK: [[OBJECT:%.*]] = apply [[CTOR]]<Pack{Int, Float}>
|
|
// CHECK: [[METHOD:%.*]] = class_method [[OBJECT]] : $A<Int, Float>, #A.f : <each T> (A<repeat each T>) -> ((repeat each T) -> ()) -> ()
|
|
// CHECK: apply [[METHOD]]<Pack{Int, Float}>
|
|
func test1() {
|
|
A<Int, Float>().f { a, b in }
|
|
}
|
|
|
|
// These are all currently forbidden
|
|
#if false
|
|
public class B<each T> : A<repeat each T> {
|
|
public override func f(_ action: (repeat each T) -> ()) {
|
|
super.f(action)
|
|
}
|
|
}
|
|
|
|
func test2() {
|
|
B<Int, Float>().f { a, b in }
|
|
}
|
|
|
|
public class C<T, each U> : A<T, repeat each U> {
|
|
public override func f(_ action: (T, repeat each U) -> ()) {
|
|
super.f(action)
|
|
}
|
|
}
|
|
|
|
func test3() {
|
|
C<Int, Float>().f { a, b in }
|
|
}
|
|
|
|
public class D : A<Int, Float> {
|
|
public override func f(_ action: (Int, Float) -> ()) {
|
|
super.f(action)
|
|
}
|
|
}
|
|
|
|
func test4() {
|
|
D().f { a, b in }
|
|
}
|
|
#endif
|