[AlotOfReading]

I'd assume the authors were aware of it, given that the original set of proposals from 2004-2006 directly compares facilities in D and Eiffel. Plus, you know, andrei.

https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n19...

[WalterBright]

I had missed this, the paper does mention D:

"Programming languages such as Eiffel and D have a Contracts facility; this paper proposes a Contracts facility for C++."

[JimBright]

Maybe you should execute their trainer!