The bug is fixed in rev#103612 of EiffelStudio 19.11 intermediate release.

The examples run without a problem when compiled with EiffelStudio 18.11, so the affected version seems to be 19.05.