[SR-14114] Diagnose coroutine differentiation until it is supported

[dan-zheng]

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

Additional Detail from JIRA

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

md5: b20ff4a54788bdb4cd0f1701fa11199e

Parent-Task:

• SR-14113 Support _read and _modify accessor differentiation

relates to:

• TF-1078 [AD] Incorrect derivatives for coroutines (begin_apply for a modify accessor)

Issue Description:

Coroutine differentiation should be diagnosed until it is supported.

Currently, differentiation of active coroutine calls is not diagnosed and silently produces incorrect results: TF-1078.

This is because begin_apply is not handled in activity analysis or "should differentiate instruction" logic.

[dan-zheng]

Done in #28921