[SR-13662] SILGen: generate differentiability witnesses from `@differentiable`/`@differentiating` attributes

[dan-zheng]

Previous ID	SR-13662
Radar	None
Original Reporter	@dan-zheng
Type	Sub-task
Status	Closed
Resolution	Done

Additional Detail from JIRA

Votes	0
Component/s
Labels	Sub-task
Assignee	@dan-zheng
Priority	Medium

md5: 8915e259209286f3c191ae6962944ff9

Parent-Task:

• SR-13659 Retroactive derivative registration

Issue Description:

[dan-zheng]

Done in #27652
Test added in #27717