Stronger typing of [no_buffer_case]