Dehydrogenative [4 + 2] cycloaddition of formamides with alkynes through double C-H activation.