Comment by pjmlp

As does .NET, with Debug class and related annotations.

.NET had DbC support for a while, but it was a Visual Studio Enterprise product, based on rewriting MSIL, and eventually was killed, as I imagine very few people bothered using contracts when such a license was required.

JVM languages like Clojure, Scala and Kotlin have DbC constructs beyond only assert.