They are, as are pre- and post-conditions; they're not, however, a breakthrough in language design by any means.
https://en.wikipedia.org/wiki/Eiffel_(programming_language)