One twist is that Ireland's opt-out of Schengen is contingent on maintaining the
Common Travel Area, which may not be possible post-Brexit. So while the UK may not have to remove itself from Schengen, it may need to figure out how to deal with Ireland joining it.