A test for the bug fixed on 2020-02-29 (sometimes it reported generation impossible).
