| // RUN: %target-swift-frontend-emit-silgen %s |
| // REQUIRES: asserts |
| |
| // TF-123: SILGen crashes when reabstracting `@differentiable` functions to |
| // opaque abstraction patterns. |
| // The culprit is `createAutoDiffThunk` in lib/SILGen/SILGenPoly.cpp. |
| |
| // Reproducer: cast `@differentiable` function-typed value to `Any`. |
| let function: @differentiable (Float) -> Float |
| _ = function as Any |
| |
| // SIL verification failed: JVP type does not match expected JVP type |
| // $@callee_guaranteed (@in_guaranteed Float) -> @out (Float, @callee_guaranteed (@in_guaranteed Float) -> @out Float) |
| // $@callee_guaranteed (@in_guaranteed Float) -> (@out Float, @owned @callee_guaranteed (@in_guaranteed Float) -> @out Float) |
| |
| // Reproducer: create key path to `@differentiable` function-typed value. |
| struct TF_123: KeyPathIterable { |
| let function: @differentiable (Float) -> Float |
| } |
| _ = \TF_123.function |
| |
| // SIL verification failed: JVP type does not match expected JVP type |
| // $@callee_guaranteed (@in_guaranteed Float) -> @out (Float, @callee_guaranteed (@in_guaranteed Float) -> @out Float) |
| // $@callee_guaranteed (@in_guaranteed Float) -> (@out Float, @owned @callee_guaranteed (@in_guaranteed Float) -> @out Float) |
