[SR-13681] make sil_differentiability_witness more opaque #54324
Description
| Previous ID | SR-13681 |
| Radar | None |
| Original Reporter | @marcrasi |
| Type | Sub-task |
Additional Detail from JIRA
| Votes | 0 |
| Component/s | |
| Labels | Sub-task |
| Assignee | None |
| Priority | Medium |
md5: 6ca05da2854a35baeda290d22e624932
Parent-Task:
- SR-13659 Retroactive derivative registration
Issue Description:
"We probably shouldn't always serialize witnesses for any public declarations, because things we emit should be opaque by default. Maybe you should add logic to the cross module optimizer that was recently added (#28407) to make differentiability witnesses serialized."