swift

Fix two issues related with emission of differentiability witnesses

#80983

Open