We should still do the : check here unless it is somehow not possible (in which case we should assert it.)