swift

cd4a6bab - [AutoDiff] Add `differentiability_witness_function` verification. (#28505)

[AutoDiff] Add `differentiability_witness_function` verification. (#28505) Add `differentiability_witness_function` instruction assertions: - Must never be constructed with null witness. - Can only have explicit type in lowered SIL. Add `differentiability_witness_function` instruction verification: check that type of `differentiability_witness_function` instruction matches the type of the witnessed SIL function.