(1) Subsection (2) applies to all such rights, powers, liabilities, obligations, restrictions, remedies and procedures as -

(a) would from time to time be created or arise, or (in the case of remedies or procedures) be provided for, by or under the EEA EFTA separation agreement or the Swiss citizens’ rights agreement, and

(b) would, in accordance with Article 4(1) of the withdrawal agreement, be required to be given legal effect or used in the United Kingdom without further enactment,

if that Article were to apply in relation to the EEA EFTA separation agreement and the Swiss citizens’ rights agreement, those agreements were part of EU law and the relevant EEA states and Switzerland were member States.

(2) The rights, powers, liabilities, obligations, restrictions, remedies and procedures concerned are to be -

(a) recognised and available in domestic law, and

(b) enforced, allowed and followed accordingly.