Initial commit of Note [Thunks, blackholes, and indirections]

This Note attempts to summarize the treatment of thunks, thunk update, and indirections.

This fell out of work on #23185.

Merge request reports

Loading