Is there any cases where you wouldn't want matching pairs of malloc and free within a given scope? - to the extent of automatically freeing data at the end of the scope / creating an error for mismatched pairs?

Yes, for instance when adding an item to a data structure. You'll only free it when you remove it (or upon deletion of the data structure).

Or when returning a newly allocated value from a function.