This is a follow up to LWG 4135, which incidentally adds a default template parameter for U to be consistent with other erase functions, which is editorial since the declaration already has it.