The checkbox to allow/disallow anti-aliasing of selections is missing in the tool options for all selection tools.
In Krita 4.2, selections are by default vector shapes. The anti-aliasing checkbox is only relevant for raster selections and will appear if you switch the selection type.
Sorry, my bad!