And inside the unspecialized generic code, the additional check-and-redispatch logic will be inserted at the start of the function.

A proposal to formalize an attribute that has existed since fairly early Swift in underscored form