No bill of attainder, ex post facto law, or law impairing the obligation of contracts, shall ever be passed.

Referred to in Iowa Code §12A.10, 12E.11, 15.105, 16.2