we don't have this use case in practice

Good for you! Welcome to the world of library development where you have to consider the general cases