Feature #1120
Updated by Marko Lindqvist 8 days ago
CodeQL complains about comparisons with wide num_continents and narrow values of actual continent ids. Make also num_continents / num_oceans (narrow) Continent_id. Those numbers need to fit in Continent_id - if not, then the type has to be updated.