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

[Originally § 16 of the 1889 constitution; renumbered art. I, § 18 effective 1981-01-01.]