Earlier quoted context omitted.
> Maybe D had executable examples that were tested by the compiler before Go Sounds like D's ability to specify unit tests in production source code, and have them optionally executed, fits the bill for that. https://dlang.org/spec/unittest.html Builtin unit tests were a great leap forward for code verification.
Having unit testing built-in to the programming language and tooling is a huge plus, absolutely. I don't know who originally came up with this, but I swear, it would be worth some recognition :) (And thankfully, whoever did originally come up with this idea, it has been copied a ton by the recent crop of programming language designs.)
1. integrated documentation
2. unit tests
3. 1_000_000 literals
4. ranges
5. compile time function execution
6. static if